fix the asm label for TUCK