[  123.128863][  T762] packetdrill (762) used greatest stack depth: 23840 bytes left