#include <stdlib.h>
#include <stdint.h>

int main()
{
    // Allocate a buffer > 0xFFFFFFFF
    size_t size = 4ULL*1024*1024*1024;
    void *pbuffer  = malloc(size);


    // Fault in the buffers pages
    uintptr_t page = (uintptr_t)pbuffer;    
    for (;
            page < (((uintptr_t)pbuffer) + size);
            page += 4096)
    {                           
        *((uintptr_t*)page) = 0;
    }                   

    // Segfault to drop a core
    int *pSeg = NULL;
    (*pSeg) = 0;
    return 0;
}

~