{ %FAIL }

program tb0236;

{$setpeoptflags unknown}

begin

end.