#!/bin/bash

DIR=`dirname $0`
GOAL=${DIR}/../../gc

echo $1
echo $2
echo $3

${GOAL} batch ${DIR}/translate.gs $1 $2 $3
