a model of a machine with a flag