# ifdef STRICT
/*@notfunction@*/
-# define SBOOLINT lltX_bool /*@alt int@*/
+# define SBOOLINT _Bool /*@alt int@*/
# else
/*@notfunction@*/
-# define SBOOLINT lltX_bool
+# define SBOOLINT _Bool
# endif
extern SBOOLINT S_ISBLK (/*@sef@*/ mode_t m) /*@*/ ;