Yet another Y86 implementation