Demo of Global Counter

#include "share/atspre_staload.hats"
staload "seed.sats"
dynload "seed.dats"

implement main0 () = {
    val _ = println! (seed 1)
    val _ = println! (seed 1)
    val _ = println! (seed 1)
    val _ = println! (seed 1)
    val _ = println! (seed 1)
    val _ = println! (seed 1)
    val _ = println! (seed 1)
}