Bounds check & cross-language

[Tobias Burnus]

  N.M. Maclaren wrote:
> All that a Fortran caller that provides bounds has to do is to supply
> an identifying flag in a known place.

For instance, one could have a global variable, which contains (linked 
list with) the actual argument's bounds/type data and the proc-pointer 
address: Then, the checked routine can check me == current_procptr and 
use then the data - otherwise, it ignores it. If it does a call itself, 
it simply pushes is own arguments to the linked list - and pops it after 
the call.

(Though, the fun starts with deep nesting (e.g., recursion) and with 
threads.)

Tobias