Update progsy.c