case pe_ordering_postnotify: result = "post_notify"; break;
ordering_type2text(enum pe_ordering type){	const char *result = "<unknown>";	switch(type)	{		case pe_ordering_manditory:			result = "manditory";			break;		case pe_ordering_restart:			result = "restart";			break;		case pe_ordering_recover:			result = "recover";			break;		case pe_ordering_optional:			result = "optional";			break;	}	return result;}