BUG: the state sequence would be less than 10; need to reproduce