[   87.462736][  T721] packetdrill (721) used greatest stack depth: 23704 bytes left