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