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