With the help of sc/util/number-defines-consecutively.awk

Change-Id: I1d2656ee8527cde6d6464b423a332401946f82a1