add_example(buf-kern1)
add_example(buf-kern2)
