#include <stdlib.h>
static void *ppcasm_cacheable_memcpy(void *, const void *, size_t);
static void *ppcasm_memcpy(void *, const void *, size_t);