Ho letto tutto questo interessantissimo thread, ma a me la domanda nasce spontanea: "su Arduino, a che minchia serve un loop infinito?"
Ok per i discorsi "accademici" ma comunque interesasnti sulle ottimizzazioni per risparmiare un paio di byte, ma se già c'è la loop() che è di fatto un loop infinito, a che serve? Tra l'altro in questo modo non funziona nulla a parte gli interrupt (nei quali in genere non si fa molto, si setta solo una variabile volatile e torna)...
Se proprio si vuole farlo, magari si pensava al loop per "aspettare" un certo valore, basta mettere nella while() tale condizione, o in una "if() break;" interna.
Insomma, non vedo proprio la necessità di una cosa del genere.