RUMPBLK_SIZENOTSET
if (size != RUMPBLK_SIZENOTSET) {
CTASSERT(RUMP_ETFS_SIZE_ENDOFF == RUMPBLK_SIZENOTSET);