The warning on redefining const globals is important. It's there because when you change a const global, that change may not get picked up in functions that us

The warning on redefining const globals is important. It's there because when you change a const global, that change may not get picked up in functions that use the variable (since you declared it as const). Using the type annotation prevents the compiler from saving the value of the global in other code and makes it do a lookup at runtime.