pretty printing R-Var