> and no undefined behavior
Where is the behavior specified?
In the language spec: https://aardappel.github.io/goose/docs/goose_spec.html
In the language spec: https://aardappel.github.io/goose/docs/goose_spec.html