Symbol: t4_write_flash