Example for the new Batchfile format