Re: [PATCH 1/1] sandbox: document parameters of os_realloc()