Definition a := 0. (* Definition b := a + 1. *) (* * Definition c := * a + 2. *) Definition d := a + 2.