A Windows batch script.