mred:get-preference returns the value for the preference symbol. It raises mred:exn:unknown-preference if the preference has not been set.