#define STDX "ieee128-"
#include <tst-wscanf-binary-c23.c>