external to_shape : t -> Shape.t = "box_to_shape"