In the event of a worker’s death, the employer must pay the end-of-service gratuity to his heirs.
