First tiny steps towards a \BV compiler