注

割り込み用プラグマを使って割り込み時にレジスタ・バンクを切り替える場合は，割り込み終了時に元のレジスタ・バンクに復帰するため，割り込み発生前に利用中であったレジスタ・バンクに属する全汎用レジスタの値が割り込み前の値と同じであることを保証します。
一方，割り込み用プラグマを使わずに割り込みハンドラ内でバンクを切り替えた場合や，割り込み用プラグマを使うがreturn文以外の方法で復帰を記述した場合は，汎用レジスタの値が割り込み前の値と同じであることは保証しません。