#include <stddef.h>
#include <sys/casio_syscalls.h>

DEFINE_CASIO_SYSCALL_FN_PTR(memcpy, void*, (void*, const void*, size_t), 0xACF)

void* memcpy(void* destination, const void* source, size_t num) {
    return _memcpy_ptr(destination, source, num);
}