int main()
{
const	c = 0x12345678 ;
}