1  int
       2  func (void)
       3  {
       4    return 0x12345678;
       5  }