Reals and local variables in procedures