How is this called? It's not explicitly imported, nor is it part of this module.