//Int b = test(3);
var f = beep();
var n = True;
//Int b = test(3);
var f = beep();
var n = True;
facR(n) :: Int -> Int {
test(3);
facR(n) :: Int -> Int {
test(3);
test(e) :: Int -> Bool {
var i = 0;
test(e) :: Int -> Bool {
var i = 0;
+ i = 1;
+ l.tl = 4:[];
+ l.tl.hd = 3;
+ //l= 1:3:[]
facR(z);
while (e < 3) {
return True;
facR(z);
while (e < 3) {
return True;