int main()
{
int a, b;
#ifdef __CPROVER__
__CPROVER_assume(a==1);
__CPROVER_assume(b==-2);
#else
a=1;
b=-2;
#endif
int x=safe_mod_func_int32_t_s_s(a, b);
assert(x==1);
return 0;
}
/*
* reads : g_8 g_10
* writes: g_11
*/
uint64_t func_1(void)
{ /* block id: 0 */
uint8_t l_9 = -6L;
(*g_10) = (safe_mod_func_int32_t_s_s(((safe_rshift_func_uint16_t_u_s((safe_sub_func_uint8_t_u_u(g_8, g_8)), 0x5C7A00F4L)) & l_9), g_8));
return g_8;
}
