Begin
 typeof(x1);    { Gives out an internal error -- better then 9999 though }
end.