Console Records

These records are part of the console API. They allow the registration or removal of handlers for console commands.