@extern integer x;
integer x;