const htmlFor_getterinfo: JSJitInfo;