int foobar @ 0x80;