General-purpose utilities used by
FEST
modules.