Export b_walk/3