revise proc.h