%% Reopens a class that does not exist. A load error, and nothing changes.
backend(swi).
profiles([iso]).
unpin(no_such_class).