[   85.443728] packetdrill (2742) used greatest stack depth: 12744 bytes left