Implemented launching and launch anchors: (* toBeLaunched *) and (** anchor **).