[  138.137574] packetdrill (5597) used greatest stack depth: 12616 bytes left