Some combinators for machines