Re: [PATCH v7 4/5] KASAN: Testing Documentation