[  128.946127][  T802] packetdrill (802) used greatest stack depth: 23912 bytes left