On Sat, Feb 04, 2012 at 07:25:05PM +0100, Julia Lawall wrote:> How important is the name argument to request_mem_region?It's just used for diagnostics.[unhandled content-type:application/pgp-signature]