fun activity_no_history: Int in "Java" `{
		return Intent.FLAG_ACTIVITY_NO_HISTORY;
	`}