# CONFIG_KASAN is not set