inline static void simcall_BODY_cond_broadcast(smx_cond_t cond)
{
if (0) /* Go to that function to follow the code flow through the simcall barrier */
inline static void simcall_BODY_cond_broadcast(smx_cond_t cond)
{
if (0) /* Go to that function to follow the code flow through the simcall barrier */