vmemory with append_int and append_tagged_int