some examples in bf