The Hewlett-Packard IA-64 instruction set simulator for Linux/x86