#explicit-extensibility