import "Prelude"

global :: Ref Integer
global = ref 0

inc :: <Proc> ()
inc = global := getRef global + 1

main = do
    inc
    inc
    getRef global
--
2