indirect_jump
indirect_call : indirect_jump;
direct_call : indirect_jump;
state->flow = indirect_jump;