[   87.144755] packetdrill (2379) used greatest stack depth: 12800 bytes left