bx

1
2	#include <stdio.h>
3	#include <stdint.h>
4
5	uint64_t *bits = (uint64_t[64]) { 0 };
6	uint64_t top = 0;
7
8	/* gcc push-bit.c -O3 && objdump -D a.out | less
9	0000000000001240 <get_bit>:
10	1240: 48 8b 05 f1 2d 00 00 mov 0x2df1(%rip),%rax # 4038 <bits>