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