Seol mar théacs é seo: Abstract machines