[    9.532697] packetdrill (159) used greatest stack depth: 12520 bytes left