__sanitize_fcr31
# define __sanitize_fcr31(next) do { (void) (next); } while (0)
# define __sanitize_fcr31(next) \
