[wyager]

While this is true, the contents of the STG stack aren't necessarily obviously related to the conceptual "call stack", right?

[tome]

Well it's case that pushes onto the stack rather than (syntactic) function call but if you're willing to be generous with what you consider "call" then, yes, they're related.