OPT_PREFETCH
if (options & (OPT_COPY | OPT_PREFETCH) ) {
} else if (options & OPT_PREFETCH) {
g.options & OPT_PREFETCH ? " prefetch" : "",