MMIX examples