note that (reset) works in the user ns