factored out to util/names-manager.rkt