changed the header of the file to orderedstatemachine