uml: move remaining useful contents of user_util.h