$%0(%1) = %2$
has $a = $BOX, $b = $BOX, $c = $BOX

and $%0(%3) = $BOX