exp4 added
naive match ok
match on kernel works