[  127.030676][  T802] packetdrill (802) used greatest stack depth: 23608 bytes left