Where is this function defined?