static CK_RV list(void)
list(void)
static CK_RV list(void){    Variable *current;    if (varHead) {    	printf(" %10s\t%16s\t%8s\tSize\tElements\n","Name","Type","Const");    } else {    	printf(" no variables set\n");    }    for (current = varHead; current; current = current->next) {    	printf(" %10s\t%16s\t%8s\t%d\t%d\n", current->vname,	    valueString[current->value->type&ArgMask],	    constTypeString[current->value->constType],	    current->value->size, current->value->arraySize);    }    return CKR_OK;}