[    9.468447] packetdrill (156) used greatest stack depth: 12512 bytes left