> OT: Are there any memory safe languages that that are fast and support goto?

Irreducible control flow is a pain for static analysis.

> Writing those without goto tends to require duplicating code

This feels like a regular old state machine to me, which obviously is nice to write with goto, but isn't required.