Prefixes starting with <Ping>

<Ping > . <Pinga> . <Ping> (other) .