ben non, 0b signifie "label 0, back" en GNU as, donc son branchement est bon.