define memory in c backend output as a union of views