int func_29 (int p_30) { unsigned int l_31; unsigned long long int l_35 = 0x7736EAE11771B705LL; unsigned int l_36 = 0xEDB553A8L; l_31 = g_15; if ((l_31 < (rshift_u_s ((g_15 - (g_15 >= l_35)), (l_36 <= 1)))) + mod_rhs (1)) return 1; }
void func_44 (unsigned int p_45) { if (!((p_45 * -9) % mod_rhs (-9))) { ASSERT (0); } }