A programming language based on Batch