У него есть приемущество: Можно задавать локальные метки и переменные.
Я пока только могу парой #define/#undef повлиять на локальность метки. Это не очень удобно и громоздко. Допустим в каждом инклюднике лежит одна и таже метка LoopCount (Счётчик цикла), её бы описать как местную в самом инклюднике, одной командой, а не двумя (#define/#undef).
Структурированность программы намного будет лучше, если каждая функция (call/ret) или блок (несколько команд, без return'а) будут сидеть в отдельных файликах с расширением inc. Быстро можно до всего добраться, а не листать километровый листинг.
