fun framework_instrumentation_test: JavaString in "Java" `{
		return Intent.CATEGORY_FRAMEWORK_INSTRUMENTATION_TEST;
	`}