memcpy examples
Typecheck memcpy() arguments