Peter Gerwinski wrote:

Ah - now I have it! :-) With high probability that's another shape of a known bug: You cannot assign procedures defined in a *program* to procedural variables (or procedural pointers, like in your example). :-(

[...]

These procedures are treated as local subprocedures of the main program which is a procedure by itself. This is the source of a lot of trouble, also in other contexts,

What's the difference? The stack frame? If so, could it be possible to create a stub for each such procedure that sets up the correct stack frame and calls the "local" global procedure?

but it is necessary to make some nonlocal `goto's work which are required by Extended Pascal. (No, I don't use `goto', and I don't know more about this, sorry. If I had a test program for these nonlocal `goto's, I could try to make the other stuff work *without* breaking `goto'; right now I don't dare to touch this. ;-)

Perhaps something like the following (just guessing):

program argh;

label l;

procedure p; begin writeln(1); goto l; writeln(2) end;

begin writeln(3); p; writeln(4); l:writeln(5) end.