LabeledStatement(Label label, Statement statement)
     : super(StatementKind.Labeled) {
		private void labelToString(Label label, StringBuilder sb) {
			var n = labels.indexOf(label);
			if (n == -1) {
				n = labels.size();
				labels.add(label);
			}
			sb.append("#Label").append(n).append("#").append(label.Name).append("#");
		}