// Clause: 7.22.3.3 — If free is called more than once for the same pointer, the behavior is undefined.
#include <stdlib.h>
int main(void){
    void *p = malloc(8);
    free(p);
    free(p); // UB
    return 0;
}