// Clause: 7.21 — Using a stream after it is closed is UB; calling fclose twice uses an invalid stream.
#include <stdio.h>
int main(void){
    FILE *f = tmpfile();
    fclose(f);
    fclose(f); // UB
    return 0;
}