[   17.145721] packetdrill (378) used greatest stack depth: 12920 bytes left