xmlNodePtr options = create_xml_node(NULL, "options"); 
xmlNodePtr options = create_xml_node(NULL, XML_TAG_OPTIONS); 
send_success(void){		xmlNodePtr options = create_xml_node(NULL, "options");	print_state();	CRM_DEBUG("Sending \"complete\" message");		set_xml_property_copy(options, XML_ATTR_OP, "te_complete");		send_ipc_request(crm_ch, options, NULL,			 NULL, "dc", "tengine",			 NULL, NULL);		free_xml(options);}
8182	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8182/ef58d3b85babb3ee720d7d6daa4e29d17c0d95cb/tengine.c/buggy/crm/tengine/tengine.c