LTL_WAKE
ltl_atom_set(mon, LTL_WAKE, false);
ltl_atom_pulse(task, LTL_WAKE, true);
bool wake = test_bit(LTL_WAKE, mon->atoms);