channel64_read_CHAR
(u64)channel64_read_CHAR(dc),
chain = channel64_read_CHAR(dc);
return channel64_read_CHAR(dc);