[  124.105364] packetdrill (6229) used greatest stack depth: 12536 bytes left