Y86-Seq implementation.