Since I moved some definitions to can_defs.ads, I continued to make changes according.