archive fsm experiment, ready to do buggy SMPO test