Str("builtins.readFile ./eval-okay-readfile.nix\n",[])