-
Nicolas George authored
The names are only used for technical output and debugging. Make them similar to C identifiers for easier quick reading of debug dumps.
0b66c456
The names are only used for technical output and debugging. Make them similar to C identifiers for easier quick reading of debug dumps.