[   31.492506] packetdrill (583) used greatest stack depth: 12760 bytes left