Examples of inclusions of unital C*-algebras of index-finite type with the Rokhlin property | Synapse