Как реализованы блоки try / catch?

Если в блоке try возникает исключение, как выполнение передается в блок catch ? Это не вопрос C # / Java / C ++, мне просто интересно, как он работает внутри.