[  123.389202][  T762] packetdrill (762) used greatest stack depth: 23856 bytes left