#include <stdint.h>
#include <ctype.h>

#define  EOF ( -1 )

typedef _Bool bool_t;

/* ----------------- Example code from MISRA C:2012 begin ----------------- */

bool_t f ( uint8_t a )
{
  return (    isdigit ( ( int32_t )  a  )     /* Compliant     */
           && isalpha ( ( int32_t ) 'b' )     /* Compliant     */
           && islower (             EOF )     /* Compliant     */
           && isalpha (             256 ) );  /* Non-compliant */
}

/* ------------------ Example code from MISRA C:2012 end ------------------ */