BUILTIN_PREFETCH_IS_DISABLED

const BUILTIN_PREFETCH_IS_DISABLED = $feature(DISABLE_BUILTIN_PREFETCH);