let tinteger ?(loc=Lexing.dummy_pos,Lexing.dummy_pos) i = term ~loc (TConst (CInt64 (Int64.of_int i,IUInt,None))) Linteger