https://www.wsws.org/en/articles/1999/02/arm-f25.html