On Friday, 22 September 2023 at 17:52:51 UTC, FeepingCreature wrote: > "Integer representation" here refers to the ANSI index or > Unicode codepoint, ie. the filename must not contain `\x00` to > `\x31`. Er oops, make that `\x00` to `\x1f`.