Added assert.h to proc.c