ファイル名を指定して実行するのは EXEC"ファイル名" ですね。