POSTCHECK_FAIL=direct_state