#include <stdint.h>

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

uint32_t zext ( uint16_t s )
{
  union                       /* Non-compliant */
  {
    uint32_t ul;
    uint16_t us;
  } tmp;

  tmp.us = s;

  return tmp.ul;
}

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