[   58.823868][  T478] packetdrill (478) used greatest stack depth: 23392 bytes left