let tresult ?(loc=Lexing.dummy_pos,Lexing.dummy_pos) typ = term ~loc (TLval(TResult typ,TNoOffset)) (Ctype typ)