Quantify unfixed kind variables in CUSKs