#!/bin/bash
dir=$(dirname "$0")
exec "${dir}"/s9x "$@"
