#!/bin/bash

shift
vvp a.out "$@"