a more compact version of Ace's Alloy machine