#include"20081222_0.h"/* Actually, call "x" "INT_X", and make it hidden. */extern__typeof(x)x__asm__("INT_x")__attribute__((__visibility__("hidden")));intx(){return7;}/* Make an externally-visible symbol "X" that's an alias for INT_x. */extern__typeof(x)EXT_x__asm__("x")__attribute__((__alias__("INT_x")));