text: void __VERIFIER_assert(int x) { if(!(x)) __VERIFIER_error();}
  extern void __VERIFIER_assume(int);
  extern int __VERIFIER_nondet_int(void);
  extern unsigned int __VERIFIER_nondet_uint(void);
  extern _Bool __VERIFIER_nondet_bool(void);
  extern char __VERIFIER_nondet_char(void);
  extern unsigned char __VERIFIER_nondet_uchar(void);
  