#include <stdio.h>
#include <gmp.h>
#include <mpfr.h>

int main(void) {
 int s;
 s = (int)sizeof(_Float16);

 if(s == 2) {
   if(mpfr_buildopt_float16_p()) s -= 4;
 }
 printf("%d", s);
 return 0;
}

