Integrity checking of 1149.4 extensions to 1149.1 - Manuel C. Felgueiras (2006)