Update proc.inc