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