da_monitor_destroy
static inline void da_monitor_destroy(void) { }
static inline void da_monitor_destroy(void)