@echo off
echo A real batch file.