// Clause: 7.29.2.1 — If there are insufficient arguments for the format string, behavior is undefined.
#include <wchar.h>
#include <stdio.h>
int main(void){
    fwprintf(stdout, L"%d %d\n", 1); // missing second arg: UB
    return 0;
}