See docs/udis86.pdf