#include <stdlib.h>

int main(void) {
    int *p = malloc(64);
    (void) p;
}