The consequences are actually undefined if you modify the function which is called by another function in the same file, but that typecheck is bogus.
The consequences are actually undefined if you modify the function which is called by another function in the same file, but that typecheck is bogus.