#! /bin/sh

for t in contrib_*.v; do
    vl $t
done
