let extract_bits ~start ~stop t =
    let inform_extract_pointer_bits, v =
      V.extract_bits ~start ~stop (get_v t)
    in
    inform_extract_pointer_bits,
    create (get_flags t) v