#!/bin/sh
exec "$(dirname "$0")"/tla-tools tla2sany.SANY "$@"