stex_hba_stop
stex_hba_stop(hba, ST_IGNORED);
stex_hba_stop(hba, ST_S6);
stex_hba_stop(hba, ST_S5);
stex_hba_stop(hba, stex_choice_sleep_mic(hba, state));