[   87.403390][  T532] packetdrill (532) used greatest stack depth: 23888 bytes left