let loc_bp = Tools.get_cur_loc