Documenting the instruction set