Use char * for pointer arithmetic in place of void *