proc f() var x: const Double := 3.14 y: const Double := 1e10 z: const Double := 4.567e8 t: const Double := 2.5E-3 return end.