These lines are moved to elsewhere in the file, not deleted.