Draft of instruction set architecture appendix

whaddayathink
`$1, $2` might be better since the names are separated with comma as well