#!/bin/bash

DIR=`dirname "${BASH_SOURCE[0]}"`
exec ${DIR}/a.out