vinteger := ('#'* '0'* 'V' '0'* '0') | (integer 'V') prefix := '\u0000'..'\uFFFD' - specialCharacters