Documented bug found on ARM and idea for testing.