@Override
public RTCode runDetails(final RTObject myEnclosedScope) {
final RTDynamicScope activationRecord =
RunTimeEnvironment.runTimeEnvironment_.currentDynamicScope();
final RTSetObject theListObject = (RTSetObject) activationRecord.getObject("this");
final int rawResult = theListObject.size();
final RTIntegerObject result = new RTIntegerObject(rawResult);
addRetvalTo(activationRecord);
activationRecord.setObject("ret$val", result);
return super.nextCode();
}
