{ %FAIL }

program tb0235;

{$setpeflags unknown}

begin

end.