function anonymous(
) {
return function Branch$(val) { this.int = val; };
}