Re: Use of malloc primitives in Genode