file-spec

    Specifies a command file to be executed by the EXECUTE (@)
    command.