const pathname_setterinfo: JSJitInfo;