#!/bin/sh @VALGRIND@ ./bas "$@"