BNDES antecipa pagamento de R$ 38 bilhões ao Tesouro