MODULE main
	CLASS test/BoxKt.class
		PACKAGE METADATA
			PROPERTY getO()Ljava/lang/String;
				Property: class.metadata.property.getterModifiers
					K1
						public final /* non-default */
					K2
						public final
