[ForFunction "printTerm"]

printTerm :: (Show t0,Curry t0) => t0 -> Result (C_IO T0)
printTerm x _ = C_IO (\ _ -> do print x 
                                Prelude.return (IOVal T0))