let e_bool (c : boolean) : integer  =
  unwrap (e_call "ite" [wrap c;a_true;a_false])