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