type checking Util.