LTL_CLOCK_NANOSLEEP
ltl_atom_update(current, LTL_CLOCK_NANOSLEEP, true);
ltl_atom_update(current, LTL_CLOCK_NANOSLEEP, false);
ltl_atom_set(mon, LTL_CLOCK_NANOSLEEP, false);
ltl_atom_set(mon, LTL_CLOCK_NANOSLEEP, false);
bool clock_nanosleep = test_bit(LTL_CLOCK_NANOSLEEP, mon->atoms);
bool clock_nanosleep = test_bit(LTL_CLOCK_NANOSLEEP, mon->atoms);