Prefixes starting with <Puc>
<Pucc>
.
<Puck>
.
<Puc> (other)
.