fun alarm_count: JavaString in "Java" `{ return Intent.EXTRA_ALARM_COUNT; `}