What would be the name `NonBLASDotWarning`?