fun pick_activity: JavaString in "Java" `{ return Intent.ACTION_PICK_ACTIVITY; `}