Увеличение указателей функций

Я только что узнал об указателях функций (указателях, указывающих на адрес, где хранится машинный код функции). Это заставило меня задуматься о машинном коде и о том, как он хранится в памяти.

Сохраняется ли машинный код последовательно в памяти, чтобы можно было «вручную» увеличивать указатель до тех пор, пока он не укажет на следующую / предыдущую функцию?

Это то, что делает отладчик? Он позволяет мне «видеть», куда указывает счетчик программ в машинном коде?

Заключение: можно запрограммировать с помощью указателей функций примитивный отладчик?

Правильно ли я понял, или я ошибаюсь?