Dummy input file to "semError"... Will never be needed.