_thrp_get_inf_written
extern int *_thrp_get_inf_written(void);
#define __inf_written (*(int *)_thrp_get_inf_written())