[   86.948919][  T724] packetdrill (724) used greatest stack depth: 24160 bytes left