* Add Memory_Size property in memory_properties.aadl