Machine, push, pop, first tests