[  128.504158][  T802] packetdrill (802) used greatest stack depth: 24224 bytes left