declare Rec = name(foo:5 bar:10 baz:20) in {Inspect Rec}