ماده 23 قانون بودجه سال ۱۳۹۵ کل کشور

دولت مکلف‌است معادل بدهی حسابرسی‌شده شرکت خدمات هوایی کشور به دولت و شرکتهای دولتی را با مطالبات از شرکت مذکور به‌استثنای بدهیهای مالیاتی تا سقف ده هزار میلیارد (۱۰.۰۰۰.۰۰۰.۰۰۰.۰۰۰) ریال تهاتر کند. خزانه‌داری کل کشور مکلف است معادل مبلغ تهاتر مذکور را به حساب بستانکار و بدهکار دستگاههای اجرائی ذی‌ربط و شرکتهای دولتی مربوطه منظور و با آنها تسویه کند.