Bibliotecas de tempo de execução de 32 bits fornecidas pelo GCC
