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