#!/bin/sh

exec "@out@/opt/Digital-linux-x86/lib/python" "-OO" "@out@/opt/Digital-linux-x86/Digital.py" "$@"