check_fastcall_stack_contract
check_fastcall_stack_contract(env, state, insn_idx, off);
check_fastcall_stack_contract(env, state, insn_idx, min_off);
check_fastcall_stack_contract(env, state, env->insn_idx, off);
check_fastcall_stack_contract(env, ptr_state, env->insn_idx, min_off);