// This file is in `.gitignore` simulating that it's generated by a build tool
// and should not be linted
function foo(   )   {
    console.log(  "hello")
       }