module THFuns where
thfun _ = return []