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