let deepening_bound (flags: flags) = get_flag_int flags.flags FL_DepthBound