(define-public (a-times-b (a uint) (b uint))
	(ok (* a b))
)

(define-public (a-div-b (a uint) (b uint))
	(err "not implemented")
)