const origin_setterinfo: JSJitInfo;