[    9.527013] packetdrill (159) used greatest stack depth: 12592 bytes left