Expunge the old definition of END before redefining it.