[   86.707129][  T528] packetdrill (528) used greatest stack depth: 24408 bytes left