#
foreach x ($argv)
    echo BEGIN $x
    vpc -c -ga -B/b/carl/1.8.0/pvax/avalon -v -DDEBUG $x
    echo END $x
end
