<<<i, j>, a, <x, y, <x>>, <<i, j, <i>>>>,
 << <<mapid, 1>, <mapstar, 1>, <<mapid, 1>>>,
    <<mapid, 1>, <mapstar, 1>>>>
 >>>

<#1 *A <#1>>    =>      <#1 *A>
