12345: malloc 0x1000 16
12345: free 0x1000
