int aux_i = 13;