Use c2hs for Input