fun newCounter () : transaction xbody = x <- source 0; return {[n]}}/> fun main () : transaction page = ls <- source ([] : list xbody); return