#### Test multiplication

section data
format:
string "%d\n\x00"

section functions
import printf
export main

main:
function argc argv
  let x 0
  let y mul x 1
  call printf format y
  set y mul x 0
  call printf format y
  set y mul x -1
  call printf format y
  set y mul x 3
  call printf format y
  set y mul x -3
  call printf format y

  set x 42
  set y mul x 1
  call printf format y
  set y mul x 0
  call printf format y
  set y mul x -1
  call printf format y
  set y mul x 3
  call printf format y
  set y mul x -3
  call printf format y

  set y mul x 8
  call printf format y

  set x 42
  set y 8
  set y mul x y
  call printf format y

  return 0
end function
