// Clause: 7.29.2.1 (fwprintf) — Insufficient arguments for the wide format: UB.
#include <wchar.h>
#include <stdio.h>
int main(void){
    fwprintf(stdout, L"%d %d\n", 1); // UB
    return 0;
}