> They're using inline assembly strictly to insert labels. > Not for generating machine instructions. Whatever they think they are getting with this is probably not what is guaranteed.