void main() {
    asm("blsi %rax, %rbx");
}