Is this necessary? It looks like the front end converts all symbolicgotos to plain gotos.