Update procv4.c