VC doesn't like binary constants