integer x(){ return; }