Several seconds ago I would assume. Just because real computer science doesn't get talked about much here doesn't mean that it doesn't exist.
As an addendum GOTO is still bad because it is much harder to parse (as a human reading the code) than using equivalent branching control statements. That was the whole point of Goto considered harmful, it's not mathematically needed so it's not syntactically needed either.
When was the last time someone proved a program correct?