A transcompiler for Batch