include GENERIC-KASAN
ident SYZKALLER

options 	COVERAGE
options 	KCOV
