Forth is another language with separate control flow and data stacks, for similar reasons, although at a much lower level - the stacks are a part of the languag

Forth is another language with separate control flow and data stacks, for similar reasons, although at a much lower level - the stacks are a part of the language spec that is fully exposed to you, not just an implementation detail.