Re: [PATCH] ntdll: remove bogus VALGRIND_DISCARD