CRM_DEBUG("In lrm_op_callback()");  s_crmd_fsa(C_LRM_OP_CALLBACK, I_LRM_EVENT, op); 
void lrm_op_callback (lrm_op_t* op){}
8182	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8182/dab75fd721d1b29ccb7ab4ae933decaa631fc0fe/messages.c/buggy/crm/crmd/messages.c