Semantic interpretation of Vbits.