snippet from Kconfig