a machine with a push button