#!/bin/sh

AWK_FILE=$HOME/vm/trans/vmgcc.awk
echo | gawk -f $AWK_FILE PID=$$ - "$@"
