CRM_DEBUG("In lrm_monitor_callback()"); s_crmd_fsa(C_LRM_MONITOR_CALLBACK, I_LRM_EVENT, monitor); 
void lrm_monitor_callback (lrm_mon_t* monitor){}
8182	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8182/dab75fd721d1b29ccb7ab4ae933decaa631fc0fe/messages.c/buggy/crm/crmd/messages.c