semantic: Work around old goto.