Programming with LVars, by example