# CONFIG_KMSAN is not set