@@ -321,6+321,8 @@ In essence the 2 nops are needed due to there being 2 different C forms:
### Branch
+TODO: document that branching whilst leaving modes still set (M/N) is perfectly well permitted but is the complier/assembler writers responsibility to obey ABI rules and ensure that even with branches and returns that, at no time, is an incorrect mode entered or left.