Re: Is builtins.readFile okay?