RE: Use of malloc primitives in Genode