int
main (void)
{
  *(short *) 25 = 123;
}