const oldValue_getterinfo: JSJitInfo;