(define-public (test-no-annotations)
    (ok true))