Improved default-value function (def)