OK. Donc les étiquettes INT_ram_data_start, INT_rom_data_start, INT_bss_start et INT_First_Avail_Mem ne sont pas utiles ?