ERRNO_FILTER
ERRNO_FILTER(zero, 0);
ERRNO_FILTER(capped, 4096);
ERRNO_FILTER(first, 11);
ERRNO_FILTER(second, 13);
ERRNO_FILTER(third, 12);
ERRNO_FILTER(block_read, E2BIG);
ERRNO_FILTER(valid, E2BIG);