a Raba-Hiff machine