then

The following will work, when playgrounds manage to import all our symbols without crashing :P