#### Test bitwise operators

section data
format:
string "%08x\n\x00"

section functions
import printf
export main

main:
function argc argv
  let oddbits 1431655765
  let evenbits 2863311530

  let x not 0
  call printf format x
  set x xor x 1431655765
  call printf format x
  set x xor x evenbits
  call printf format x

  let y or x oddbits
  call printf format y
  set y or y 2863311530
  call printf format y
  
  set x and y 2863311530
  call printf format x
  set x and -1 1431655765
  call printf format x

  return 0
end function
