induced extensible batch scripts