defines replacement_definitions