Utility methods provided by the user-interface part of the kernel.