let get_var_reg v =
  match v.var_reg with
    | Some r -> r
    | None -> raise Not_found