Update spec_procs.c