;; @namexx bad annotation test
;; @mine-after 10
;; @callerxx wallet_1
(define-public (test-bad-annotations)
    (ok false))