General-purpose utilities used by FEST modules.