Source Code

(define-data-var val uint u0)