Utilities to make debugging OF easier