module THC where
import THB

c ::()
c = a