Avoid casting to char* in prefetch()