;; @name simple annotation test
(define-public (test-simple-annotations)
    ;; @mine-before is ignored here
    (ok true))