Re: [PATCH 3/4] riched20: Get rid of the ALLOC_OBJ macro