[    5.367271] packetdrill (223) used greatest stack depth: 12696 bytes left