let buildVector (loc, s) =
let tmp = CfParser.VECTOR (loc, String.sub s 1 (String.length s - 2)) in
if String.length s >= 3 then
match String2.take_left s 3 with
"'0x" | "'1x" -> CfParser.VECTOR (loc, hexToBits (String.sub s 3 (String.length s - 4)))
| "'0b" | "'1b" -> CfParser.VECTOR (loc, String.sub s 3 (String.length s - 4))
| _ -> tmp
else
tmp