static bool isProperFileName_allowSpaces(S s) {
  ret nempty(s) && !startsWith(s, ".") && regexpIC("[a-z0-9-._ +%()\\[\\]#,!]+", s).matches();
}