(label) @1
(label) @begin
(label) @end
(void()) main()
(byte/signed word/word/dword/signed dword~) main::$1 reg byte a 22.0
(label) main::@1
(label) main::@return
(byte[16]) main::buf
(const byte[16]) main::buf#0 buf = ((byte*))(word/signed word/dword/signed dword) 4352
(byte) main::i
(byte) main::i#1 reg byte x 16.5
(byte) main::i#2 reg byte x 14.666666666666666

reg byte x [ main::i#2 main::i#1 ]
reg byte a [ main::$1 ]
