let
draw_next_bt() = draw_bt next_bt