. . write Pascal as just a teaching language.
Of course for efficient PC programming it needed some "extensions", which were pretty much finalized in Borland's Turbo Pascal. Personally I've done a lot of passing complex structured variables as pointers, type casting and other behavior considered improper - but not GOTO, no never!
Actually, even type casting was included in formal Pascal, but by a means so awkward and obscure as to assure nobody used it.