libdgl/PUSH.BAT