#include <stdio.h>
#include <stdlib.h>

int main() {
    void *x1 = malloc(1);
    void *x2 = malloc(2);
    printf("Hello World!\n");
    *(volatile char *) (x1 - 8191);
    printf("Hello World!\n");
    free(x1);
    free(x2);
}

// 11

// stdout: Hello World!

// stderr: Invalid heap access: address 0x100000000 is not in an allocation or was already freed
// stderr: at bin/hello_access_header1(main+0x39)
// stderr: main
// stderr: hello_access_header1.c:8