1#include <stddef.h>
 2
 3void* __memset(void* dest, char c, size_t n, size_t dest_n);
 4
 5char foo[128];
 6
 7int main() {
 8    __memset(&foo[0], 0xff, 128, 128);
 9    return foo[64];
10}
11