[   85.932335][  T532] packetdrill (532) used greatest stack depth: 24240 bytes left