Source Code

(define-data-var val uint u1)