[  125.273450] packetdrill (6724) used greatest stack depth: 12520 bytes left