FUZZTESTv1
sub {
  s: "crashing input, but file name has invalid format"
}
