Mixed Value-Counting Machines