shadow_get_or_alloc
sv1[i] = shadow_get_or_alloc(&objs[i], SV_ID1,
sv = shadow_get_or_alloc(&objs[i], SV_ID1, sizeof(pndup[i]),