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