[  123.141169][  T762] packetdrill (762) used greatest stack depth: 24176 bytes left