Interrupts on DUE. Odd behaviour of attachinterrupt()

Then the example code provided in the Arduino reference does not match what is actually or normally required.