[   78.477853] packetdrill (2486) used greatest stack depth: 12568 bytes left