[an error occurred while processing this directive]
А вдруг у них в следующих версиях (да и в этой) контроллер прерываний хитрее? Мож он пока RETI не увидел, какой-нить бит забывает сбросить. Мой способ абсолютно логичный, гарантия от неопределённых ошибок.
(«Телесистемы»: Конференция «Микроконтроллеры и их применение»)