Symbol: PT_STATE_CHECK