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