(define-constant A tx-sender)

(define-public (z (a0 uint))
(begin
	(asserts! (is-eq tx-sender A) (err u1000))
	(let (
		(a1 (try!
			(let ((val (try! (contract-call?
			'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.fixed-weight-pool-v1-01 swap-x-for-y
			'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.token-wstx
			'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.token-wbtc
			u50000000 u50000000 (* a0 u100) none))))
			(ok (get dy val)))
		))
	)
		(ok (list a0 a1))
	)
))