// Clause: 7.21.6.1 — If there are insufficient arguments for the format, behavior is undefined.
#include <stdio.h>
int main(void){
    printf("num=%d %d\n", 1); // UB: missing one argument
    return 0;
}