/* must be called with alarm_program_lock taken ! */