Definition myNextValue := 0. (* OK *)
Definition x := myNextValue. (* not OK *)
Definition y := 0.