I'd like an explicit `typedef void (rtc_alarm_callback_t *)(int irq_type);` better.