#!/bin/sh -x
cd src
# CC=${CC}; export CC; ./RUN
./RUN
