printf("Unknown %s (%lu:0x%lx)",constTypeString[type],value,value);
if ((type == ConstAvailableSizes) || (type == ConstCurrentSize)) { printf("%lu",value); } else { printf("Unknown %s (%lu:0x%lx)",constTypeString[type],value,value); }
void printConst(CK_ULONG value, ConstType type, int newLine){    int i;    for (i=0; i < constCount; i++) {	if (consts[i].type == type && consts[i].value == value) {	    printf("%s",consts[i].name);	    break;	}	if (type == ConstNone && consts[i].value == value) {	    printf("%s",consts[i].name);	    break;	}    }    if (i == constCount) {	printf("Unknown %s (%lu:0x%lx)",constTypeString[type],value,value);    }    if (newLine) {	printf("\n");    }}