{ "header": { "version": 1, "type": "record" }, "body": { "record1": { "<1>": "declare function msg\r\nVoid = msg( AbsPos )\r\nRETURN 0" } } }