Draft of instruction set architecture appendix