Workers’ Compensation debt reduction revenue bonds; amount; when may issue.