MODULE main
	CLASS Sealed.class
		CLASS METADATA
			CONSTRUCTOR <init>()V
				Property: class.metadata.constructor.modifiers
					K1
						protected /* secondary */
					K2
						private /* secondary */