Function boundaries should be determined, so that native functions can be used, instead of maintaining a separate call stack.
This can allow for unnamed basic blocks within functions to be assigned names derived from the function’s label.