const htmlFor_setterinfo: JSJitInfo;