A formal declaration for this function appeared previously in this source module. At this point, a definition in the informal function syntax appears.