argc' = $param_2
argv' = $param_3
atnewline' = 1
filehosts' = 0
$heap_145522' = $input_60
bytes_after(&$heap_145522)' = $input_12 + 1
$heap_145522' is allocated by malloc
$heap_145522' is a non-heap object
bytes_before(&$heap_145522)' = 0
strlen(&$heap_145522)' = $input_12
$heap_145523' = 1
bytes_after(&$heap_145523)' = 40
$heap_145523' is allocated by malloc
$heap_145523' is allocated
bytes_before(&$heap_145523)' = 0
strlen(&$heap_145523)' = 0
((char*)&$heap_145523)[16]' = 1
((char*)&$heap_145523)[20]' = 1
((char*)&$heap_145523)[32]' = &$heap_145524
((char*)&$heap_145523)[4]' = 1
((char*)&$heap_145523)[12]' = 1
$heap_145524' = 0
bytes_after(&$heap_145524)' = 16
$heap_145524' is allocated by malloc
$heap_145524' is allocated
bytes_before(&$heap_145524)' = 0
strlen(&$heap_145524)' = 0
$heap_145525' = 1
bytes_after(&$heap_145525)' = 200
$heap_145525' is allocated by malloc
$heap_145525' is allocated
bytes_before(&$heap_145525)' = 0
strlen(&$heap_145525)' = 0
((char*)&$heap_145525)[136]' = &$heap_145527
((char*)&$heap_145525)[152]' = 1
((char*)&$heap_145525)[168]' = 1000
((char*)&$heap_145525)[176]' = &$heap_145528
((char*)&$heap_145525)[8]' = &$heap_145530
((char*)&$heap_145525)[88]' = 2
((char*)&$heap_145525)[104]' = 1
((char*)&$heap_145525)[108]' = 1
((char*)&$heap_145525)[112]' = &$heap_145526
((char*)&$heap_145525)[120]' = &$heap_145529
bytes_after(&$heap_145526)' = 184
$heap_145526' is allocated by malloc
$heap_145526' is allocated
bytes_before(&$heap_145526)' = 0
((char*)&$heap_145526)[16]' = 0
((char*)&$heap_145526)[176]' = 0
((char*)&$heap_145526)[24]' = 0
((char*)&$heap_145526)[32]' = 0
((char*)&$heap_145526)[40]' = 0
$heap_145527' = &$heap_145527
bytes_after(&$heap_145527)' = 184
$heap_145527' is allocated by malloc
$heap_145527' is allocated
bytes_before(&$heap_145527)' = 0
((char*)&$heap_145527)[16]' = 0
((char*)&$heap_145527)[176]' = 0
((char*)&$heap_145527)[24]' = 0
((char*)&$heap_145527)[32]' = 0
((char*)&$heap_145527)[40]' = 0
((char*)&$heap_145527)[8]' = &$heap_145527
bytes_after(&$heap_145528)' = 32
$heap_145528' is allocated by malloc
$heap_145528' is allocated
bytes_before(&$heap_145528)' = 0
((char*)&$heap_145528)[16]' = 0
((char*)&$heap_145528)[20]' = 0
((char*)&$heap_145528)[24]' = 0
bytes_after(&$heap_145529)' = 184
$heap_145529' is allocated by malloc
$heap_145529' is allocated
bytes_before(&$heap_145529)' = 0
((char*)&$heap_145529)[16]' = 0
((char*)&$heap_145529)[176]' = 0
((char*)&$heap_145529)[24]' = 0
((char*)&$heap_145529)[32]' = 0
((char*)&$heap_145529)[40]' = 0
$heap_145530' = *$param_1
bytes_after(&$heap_145530)' = strlen($param_1) + 1
$heap_145530' is allocated by malloc
$heap_145530' is allocated
bytes_before(&$heap_145530)' = 0
strlen(&$heap_145530)' = strlen($param_1)
hn' = $param_1
hosts' = &$heap_145523
hp' = &$heap_145525
s' = &$heap_145522
tmbuf.tm_sec' = &$unknown_873528