What's the point of doubled labels?

[ecm-pushbx]

Example: https://github.com/SvarDOS/edrdos/commit/dffa75ce9d8b92b61dbf8e37846e433261dd73d4#diff-d630fbaf5af5dbd53a1168a8982ef992c22406ea537deb4b6aa47a8358b76439R77

They both seem to be byte labels at the exact same address.

[boeckmann]

Perhaps they prepared for introducing high level (C) programming language into the kernel? Otherwise I also wonder what is this for, but did not want to break with the "convention" to also add the label prefixed by underscore.

[boeckmann]

I think we could remove the labels prefixed by underscore. But we should do it for all then...