GET_U64
switch (GET_U64()) {
helper_set_flags(&h, (uint32_t)GET_U64());
f(&h.j, GET_U64());
u64 = GET_U64();
asserted = (int)GET_U64();