Module E_ACSL.Memory_translate