[  124.354739][  T762] packetdrill (762) used greatest stack depth: 24056 bytes left