oberonjs/test/expected/man_or_boy.js

var test = function (JS){
function State(){
	this.f = null;
	this.k = 0;
	this.x1 = null;
	this.x2 = null;
	this.x3 = null;
	this.x4 = null;
	this.x5 = null;
}
var pB = null;

function call(s/*PState*/){
	return s.f(s);
}

function makeEmptyState(f/*Function*/){
	var result = null;
	result = new State();
	result.f = f;
	return result;
}

function makeState(f/*Function*/, k/*INTEGER*/, x1/*PState*/, x2/*PState*/, x3/*PState*/, x4/*PState*/, x5/*PState*/){
	var result = null;
	result = makeEmptyState(f);
	result.k = k;
	result.x1 = x1;
	result.x2 = x2;
	result.x3 = x3;
	result.x4 = x4;
	result.x5 = x5;
	return result;
}

function F0(s/*PState*/){
	return 0;
}

function F1(s/*PState*/){
	return 1;
}

function Fn1(s/*PState*/){
	return -1;
}

function A(s/*PState*/){
	var res = 0;
	if (s.k <= 0){
		res = call(s.x4) + call(s.x5) | 0;
	}
	else {
		res = call(makeState(pB, s.k, s.x1, s.x2, s.x3, s.x4, s.x5));
	}
	return res;
}

function B(s/*PState*/){
	--s.k;
	return call(makeState(A, s.k, s, s.x1, s.x2, s.x3, s.x4));
}
pB = B;
JS.alert(call(makeState(A, 10, makeEmptyState(F1), makeEmptyState(Fn1), makeEmptyState(Fn1), makeEmptyState(F1), makeEmptyState(F0))));
}(this);