fun row (label : string) : xbody = {[label]} fun main () = return (row "asdf")