sbull: example of using bio in kernel