Prefixes starting with <int>
<inta>
.
<inte>
.
<inti>
.
<into>
.
<intr>
.
<intu>
.
<int> (other)
.