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