#include <stdio.h>

int main()
{
  double        val;
  unsigned char temp[sizeof(unsigned char)+sizeof(double)];

  val = *((double*)(temp+1));

  printf("Assignment succeeded.\n");
  fflush(stdout);

  return 0;
}