fun car_dock: JavaString in "Java" `{ return Intent.CATEGORY_CAR_DOCK; `}