const title_setterinfo: JSJitInfo;