let taddrof ?(loc=Lexing.dummy_pos, Lexing.dummy_pos) lv typ = match lv with | TMem h, TNoOffset -> h | _ -> { term_node = TAddrOf lv; term_type = typ; term_name = []; term_loc = loc}