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