How to parse a string to an integer from stdin in ATS2 / Postiats-ATS

main.dats

#include "share/HATS/atspre_staload_prelude.hats"
#include "share/HATS/atspre_staload_libats_ML.hats"

implement main0 () = () where {
  val s: string = fileref_get_line_string(stdin_ref)
  val n: int = g0string2int(s)
  val _ = println!("li um ", n + 10, " - 10 !")
}

Makefile

.DEFAULT_GOAL := main

PATSHOMEQ="$(PATSHOME)"
PATSCC=$(PATSHOMEQ)/bin/patscc
PATSOPT=$(PATSHOMEQ)/bin/patsopt
PATSCCFLAGS=-O2 -flto -DATS_MEMALLOC_LIBC -latslib
# Looks like only -latslib is necessary
# LDFLAGS=-L$(PATSHOME)/ccomp/atslib/lib -latslib
# Also, the variable MUST be called `LDFLAGS`
# Setting `-latslib` in `PATSCCFLAGS` does not work...
LDFLAGS=-latslib

cleanall::
main: main.dats
	$(PATSCC) $(PATSCCFLAGS) -o $@ $< $(LDFLAGS) || echo $@ ": ERROR!!!"

cleanall:: ; $(RMF) main

RMF=rm -f

clean:: ; $(RMF) *_?ats.c
cleanall:: clean