[  128.267423][  T802] packetdrill (802) used greatest stack depth: 23968 bytes left