pub const R_XDR_DOUBLE_SIZE: u32 = 8;