[   87.361580][  T719] packetdrill (719) used greatest stack depth: 24152 bytes left