use local labels for do_acasW() to avoid defining symbols multiple times when the function gets inlined. It fixes assembler error reported in KDE #400164.