[  128.195895][  T802] packetdrill (802) used greatest stack depth: 23600 bytes left