value2proc::=