(X \ 2) OR ((X AND 1) * 2^7)