reg007.lidr:8:A.n is already defined