Y86 machine implementations.