_thrp_get_nan_written
extern int *_thrp_get_nan_written(void);
#define __nan_written (*(int *)_thrp_get_nan_written())