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