((char*)&((char*)((char*)*$unknown_651917)[32])[24])[40]' = ((char*)&((char*)((char*)*$unknown_651917)[32])[24])[40] - 1
((char*)&((char*)*$unknown_651917)[32])[40]' = ((char*)&((char*)*$unknown_651917)[32])[40] - 1
((char*)$unknown_651917)[8]' = 0
pvmmboxclasses->mc_rlink' = &$heap_38306
((char*)*$unknown_651917)[32]' = &freepmsgs.m_link
((char*)*$unknown_651917)[8]' = *$unknown_651917
pvmmboxclasses->mc_rlink->mc_link' = &$heap_38306
*$unknown_651917' = 0
*$unknown_651917' is freed
cind' = 0
dind' = 0
ep' = *$unknown_651917
ep2' = 0
flags' = $param_4
freepmsgs.m_rlink' = ((char*)$unknown_651917)[32]
bytes_after(&$heap_38304)' = 40
$heap_38304' is allocated by malloc
$heap_38304' is allocated
bytes_before(&$heap_38304)' = 0
((char*)&$heap_38304)[16]' = -1
((char*)&$heap_38304)[20]' = 0
((char*)&$heap_38304)[24]' = 0
((char*)&$heap_38304)[28]' = 0
((char*)&$heap_38304)[32]' = 0
$heap_38305' = *$param_2
bytes_after(&$heap_38305)' = strlen($param_2) + 1
$heap_38305' is allocated by malloc
$heap_38305' is allocated
bytes_before(&$heap_38305)' = 0
strlen(&$heap_38305)' = strlen($param_2)
$heap_38306' = pvmmboxclasses
bytes_after(&$heap_38306)' = 32
$heap_38306' is allocated by malloc
$heap_38306' is allocated
bytes_before(&$heap_38306)' = 0
((char*)&$heap_38306)[16]' = &$heap_38305
((char*)&$heap_38306)[24]' = &$heap_38304
((char*)&$heap_38306)[8]' = pvmmboxclasses->mc_rlink
mp' = $param_5
name' = $param_2
np' = &$heap_38306
numpmsgs' = numpmsgs + 1
req' = $param_3
tid' = $param_1