type :.1 = { { w } { s } }
export
function $f(:.1 %.1) {
@start.1
@body.2
	ret
}