start_brk.awk

#     1	6162
#     2	(bash)
#     3	S
#     4	6161
#     5	6162
#     6	2939
#     7	34817
#     8	6224
#     9	256
#    10	2111
#    11	14851
#    12	0
#    13	1
#    14	7
#    15	8
#    16	495
#    17	380
#    18	20
#    19	0
#    20	1
#    21	0
#    22	7382034
#    23	10330112
#    24	1248
#    25	18446744073709551615
#    26	187649984430080
#    27	187649985794928
#    28	281474976709952
#    29	0
#    30	0
#    31	0
#    32	65536
#    33	3686404
#    34	1266761467
#    35	1
#    36	0
#    37	0
#    38	17
#    39	3
#    40	0
#    41	0
#    42	0
#    43	0
#    44	0
#    45	187649985861656
#    46	187649985913480
#    47	187649985961984
#    48	281474976710425
#    49	281474976710431
#    50	281474976710431
#    51	281474976710638
#    52	0
#    53	
{printf("0x%016x 0x%016x 0x%016x\n", $26, $27, $28);}