use no-strict-aliasing in c backend
define memory in c backend output as a union of views