[    9.531336] packetdrill (156) used greatest stack depth: 12480 bytes left