let get_reg_var r =
  let vd = new_var_def Pointer (-1) in
  let v = new_var vd in
    v.var_reg <- Some r; v