Declaracoes write_back