[POPL Seg 4] PROC modified to evaluate procedures (untested)