Add println to S_Int; minor bugfixes