#include <stdint.h>

void example ( void )
{
/* ----------------- Example code from MISRA C:2012 begin ----------------- */

  typedef void ( *fp16 ) ( int16_t n );
  typedef void ( *fp32 ) ( int32_t n );

  #include <stdlib.h>

  fp16 fp1 = NULL;                   /* Compliant     */
  fp32 fp2 = ( fp32 ) fp1;           /* Non-compliant */

  if ( fp2 != NULL )                 /* Compliant     */
  {
  }

  fp16 fp3 = ( fp16 ) 0x8000;        /* Non-compliant */
  fp16 fp4 = ( fp16 ) 1.0e6F;        /* Non-compliant */

  typedef fp16 ( *pfp16 ) ( void );

  pfp16 pfp1;

  ( void ) ( *pfp1 ( ) );            /* Compliant     */

  extern void f ( int16_t n );

  f ( 1 );                           /* Compliant     */

  fp16 fp5 = f;                      /* Compliant     */
  
/* ------------------ Example code from MISRA C:2012 end ------------------ */
}