#include <stddef.h>
  #include <string.h>
  
  /* See the "Run-time ABI for the ARM Architecture", Section 4.3.4 */
  
  void __aeabi_memcpy(void * dest, const void * src, size_t n) {
    memcpy(dest, src, n);
  }
  
  // TODO: optimize aeabi_memcpy4 to take advantage of the 4-byte alignment
  void __aeabi_memcpy4(void * dest, const void * src, size_t n) {
    memcpy(dest, src, n);
  }