Finish adding @IntDef