let tinteger_s64 ?(loc=Lexing.dummy_pos,Lexing.dummy_pos) i64 = term ~loc (TConst (CInt64 (i64,IInt,None))) Linteger