According to cppreference.com, and as implemented in glibc, the alternative mode for `%o` must ensure at least one leading zero is printed. Thus, ``` printf_("%#.0o", 0) ``` must produce `"0"`, not `""`. And yet - the latter is produced.