Stack sanitization in KASAN