#include
"share/atspre_staload.hats"
#include
"share/HATS/atspre_staload_libats_ML.hats"
fun loop(n: int): void =
(n).foreach()(lam i => $extfcall(void, "printf", "i = %i\n", i))
implement main0 () = loop(10)
PATSCC=$(PATSHOME)/bin/patscc
PATSOPT=$(PATSHOME)/bin/patsopt
main: main.dats; $(PATSCC) -DATS_MEMALLOC_LIBC -o $@ $< && ./main && rm -f main