ATS stype "val () = halInit ()"