public LabeledStatement (string name, Block block, Location l) { this.name = name; this.block = block; this.loc = l; }