[MariaDB developers] Re: MariaDB Memory Map