#!/bin/sh
script=${1+"$@"}
src=$$.c
bin=$$
/friends/bin/bf2c.pl $script > /tmp/$src
cd /tmp
cc -Wall -O $src -o $bin && ./$bin
rm $src $bin