label The procedure descriptor name that specifies the routine (called the transfer address) where program execution begins. This argument is optional.