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