just curious -- where is this function defined?