void ckCharValue(Value retValue) {
Field theValueField = targetClass.fieldByName("echarValue");
CharValue theValue = (CharValue) targetClass.getValue(theValueField);
char vv = theValue.value();
char rv = ((CharValue) retValue).value();
if (vv != rv) {
failure("failure: char: expected " + vv + ", got " + rv);
} else {
System.out.println("Passed: char " + rv);
earlyReturns++;
}
}