brk(NULL) = 0x42b000
brk(0x42d000) = 0x42d000
brk(NULL) = 0x42d000
+++ exited with 0 +++
