[   31.654741] packetdrill (584) used greatest stack depth: 12760 bytes left