Update proc.h