(define (a-mul x y)
  (aif (a-eq x (aint 0))
       (aint 0)
       (aif (a-eq y (aint 0))
            (aint 0)
            (a-add x (a-mul x (asub y (aint 1)))))
  )
)