Some kernel BP code using FG infrastructure