vlm: kludge to avoid well-handled NULL format string warnings, and factorize ExecuteH...