let create_BS (config: config) : bound =
  (new bound_BS config :> bound)