direct_jump
direct_call : direct_jump;
state->flow = direct_jump;
state->flow = direct_jump;
state->flow = direct_jump;
state->flow = direct_jump;
state->flow = direct_jump;