module StrictMachine