Prefixes starting with <Smi>
<Smig>
.
<Smil>
.
<Smir>
.
<Smit>
.
<Smi> (other)
.