[  128.080971][  T802] packetdrill (802) used greatest stack depth: 23848 bytes left