spoerri

I have code in the default package, and I’d like to nullaway it :) I could of course move that code, but it seems a shame for nullaway to require...