STP_check_condition
(void) STP_check_condition (this);
STP_check_condition (STATE_MACH_T* this);
STP_check_condition,