updated proc.c