* ) 6 } proc.