Solve an algorithm problem with an emphasis on achieving an O(1) solution. Implement a function that determines whether a non-negative integer is a power of two without loops, recursion, logarithms, or string conversion. The input is a 64-bit non-negative integer, and the function must return a Boolean. Use the standard fixed-width integer model, so bitwise operations are treated as constant time.
def is_power_of_two(n):