ec eval and register machines 8080534