#include <stdint.h>
#include <string.h>

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

void f ( uint8_t s1[ 8 ], uint16_t s2[ 8 ] )
{
  ( void ) memcpy ( s1, s2, 8 );  /* Non-compliant */
}

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