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