if (((init=num.testInteger()) == null)
|| (val = init.longValue()) != (val & 0xffffffffL)) {
throw ERT.badarg(num, io_list);
}
CRC32 crc = new CRC32();
try {
CRC32_crc.setInt(crc, (int)val);
} catch (IllegalArgumentException | IllegalAccessException e) {
throw new RuntimeException(e);
}
EIOListVisitor.update(io_list, crc);
return ERT.box(crc.getValue());
}