const defaultValue_getterinfo: JSJitInfo;