a : Int; b : Int := 13; c := 7;