- bit mask of all 1's after right most 1's
- test is x is 2^n-1