fun counter' () = s <- source 0; return