My utilities for MAKE-UTIL