MODULE testproc ; VAR p: PROC ; c: CARDINAL ; BEGIN c := p + 'z' END testproc.