> Additional to that I don't really see the point in renaming some of the jump > labels,
I am suggesting changes for another collateral software evolution. > if you call it "restart" or "lock_restart" doesn't make much difference. Do other identifiers fit better to a specification from the document "CodingStyle" like the following? "⦠Choose label names which say what the goto does or why the goto exists. â¦" Does this wording need any more adjustments? Regards, Markus