@whitequark Putting `printf("\x01c")` into godbolt, it was very weird to see `putchar 28` until I tried `printf("\x001c")`. God damn it, C.