: foo ( x -- y )
    [
     	call( x y -- z )
	]
        ;