#! /bin/sh
. "${ASCDS_INSTALL}/bin/ciao_setup.sh"
"$@"
