#!/usr/bin/env bash

STRJAR=strategoxt.jar

exec java -Xss8M -cp "$STRJAR" \
  run org.strategoxt.strc.io-pp-stratego "$@"
