[    9.534687] packetdrill (158) used greatest stack depth: 12768 bytes left