// BUG: Incorrect bitshifting