VECTX_READ
bytes_read = VECTX_READ(VECTX_HANDLE(ef), ef->firstpage, PAGE_SIZE);
bytes_read = VECTX_READ(VECTX_HANDLE(&ef), hdr, sizeof(*hdr));
if ((size_t)VECTX_READ(fd, buf, len) != len) {
return (VECTX_READ(fd, (void *)(dest + stage_offset), len));
return (VECTX_READ(fd, PTOV(dest), len));
got = VECTX_READ(fd, buf, get);
got = VECTX_READ(fd, buf, get);
return (VECTX_READ(fd, (void *)dest, len));
s = VECTX_READ(fd, buf, sz);