Comment 4 for bug 17133

In addition to implied mnemonics there should be explicit mnemonics as well. If
a label contains an underscored letter this should be the letter used instead of
the leading one. This is usefull to avoid conflicts if multiple labels begin
with the same letter.