Implemented hopefully sounds and precise support for memcpy.
Moved two more nested struct examples into regressions.