__push_true_states
void __push_true_states(void);
__push_true_states();
__push_true_states();
__push_true_states();
__push_true_states();
__push_true_states();
__push_true_states();
__push_true_states();
__push_true_states();