It's not part of this patch, but we have `defintions.Predef_???` that could be used here.