[  130.088962] packetdrill (6683) used greatest stack depth: 12648 bytes left