rtl_string.getLength.getLength_000