passing tc_orderedstatemachine sanity test