(label) @1
(label) @begin
(label) @end
(const byte*) SCREEN = (byte*) 1024
(byte*) heap_head
(byte*) heap_head#10 heap_head zp[2]:2 4.0
(byte*) heap_head#11 heap_head zp[2]:2 0.6666666666666666
(void()) main()
(label) main::@1
(label) main::@2
(label) main::@return
(byte*) main::buf1
(void*) main::buf1#0 buf1 zp[2]:4 0.3333333333333333
(byte*) main::buf2
(void*) main::buf2#0 buf2 zp[2]:6 0.5
(void*()) malloc()
(label) malloc::@return
(void*) malloc::return
(void*) malloc::return#0 return zp[2]:4 4.0
(void*) malloc::return#1 return_1 zp[2]:6 4.0
(void*) malloc::return#2 return_1 zp[2]:6 1.5

zp[2]:2 [ heap_head#10 heap_head#11 ]
zp[2]:4 [ malloc::return#0 main::buf1#0 ]
zp[2]:6 [ malloc::return#1 main::buf2#0 malloc::return#2 ]
