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