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