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