Don't Use the Page Number, but a Pointer on It

HAL Id: inria-00073967

https://hal.inria.fr/inria-00073967

Submitted on 24 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Don’t Use the Page Number, but a Pointer on It

André Seznec

To cite this version:

André Seznec. Don’t Use the Page Number, but a Pointer on It. [Research Report] RR-2727, INRIA.

1995. �inria-00073967�

ISSN 0249-6399

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Don’t use the page number, but a pointer on it

Andre´ Seznec

N˚ 2727

Novembre 1995

PROGRAMME 1

./(02143

567598

/

5;:=<

>?A@CBD?FE'G#GH)IKJMLK?ONQPSRUTAHVNFTAWS?QH-XYZE'?FE'[U[]\H-[UH-X_^a`ZE'XQH-X b9Hcb;@DdSdfeHgH-X_^a?SeH-XQH_E'W9hH-TKXAi9XAT_\H-G#HgX b9RUXATA?QRU`SWfeH-X

>?A@_jkH-T)lfEmYSX

nKE'YSYo@D?QTpb;H?AH_NQPSHg?ONQPSHqdr9sDtCsDtuJvf@'wDHgG`S?AHI_xDxCyJsCsYZE'BCH-X

z+{}|g~V'€Z'~C‚cƒ!@DXQT!dSH-„f[Ui…E'dSdS@CWSdZNFHVb…GR†Nk?A@DYa?A@SNFH-XQXA@D?QX!GE'daR‡YaWS[ˆE'TAH!‰'Šm‹]`SRUTw9RU?ATQWZE'[EDbSb9?QH-XAXQH-XE'dZbŒTQPSH

„fRˆb9TQP@'(YSP9i9XARˆN-Em[4EDbab9?AH-XQXAH-XRUX)Em[UXA@BD?Q@'„fRUdSBZŽL X)E?QH-XAWa[‡TV^oTAPSH?QH-[ˆE'TQR‡wCHXARU-H‘@'(TAPSHEDbSb9?QH-XAXTFE'BDXKRUdTQPSH

’IcN-ECNAPaHRUX RUdZNF?QH_E'XQR‡daBZŽ“fPSRUX RUXfYZEm?ATARˆNFWa[†Em?A[Uib;?OE'G!E'TQR†N”„fPSH-dXQGEm[‡[7`a[‡@SNQ•#XQRU-H-XE'?QHWSXAHVb7ŽfLfT TQPSHXFE'G#H

TQR‡GHD^oTAPSHYoH-?–@C?AG!E'dZNFH@'fNF@DGYS[UHFhXQWSYZHg?AXONgE'[ˆE'?Ya?A@SNFH-XQXA@D?QX—b;H-YZHgdZb9XG#@D?QHE'dZb˜G#@C?AH@CdTAPSHEDNgNFWS?OECNFi

@m}`a?OE'doNAP˜YS?AH_b;R†NkTARU@Dd™^a„fPSRU[UH)TQPSHXQR‡gHc@m4TAPaHcš(?FE'dZNQP"“(E'?ABCH-T šW9›œHg?)RUX Em[‡XQ@RUdZNF?AHVE'XARUdSB[URUdSH_Em?A[Ui#„fRUTQPTQPSH

ECbSb9?AHgXAX„fRˆb9TAP™Ž

dTQPSRUXžYoE'YoH-?_^9„H)EmYSYS[UiTAPaH wDHg?AiXARUGYS[UHžYS?QRUdZNFRUYS[UH H-da@DWSdZNkH_bR‡dTQPSH TQRUTA[UH–@D?[‡RUGR‡TQRUdSBfTAPSHTFE'BXQR‡gH @'

@Cd9‹ŸNQPSRUY NgEDNQPSH-XV^4EmdZb–@C? [URUG#RUTAR¡dSBTAPaHcXQR‡gHc@mžTAPSHš?OE'doNAP"“(E'?QBDH-Tš(W9›7H-?VŽd E'dRUdZb;R‡?QH_NFTŸ‹]TFE'BDBCH_b"N-EDNQPSHD^

TQPSH)EmdZEDNQPS?Q@DdSRˆN b;WSYS[URˆN-E'TQR‡@Cdc@m™TAPSHKYZE'BCHfd9WSG`ZHg?(RUdYS?A@SNFH-XQXA@C?AX¢£RUd“ ’™š¤EmdZbRUd#N-ECNQPSH TFE'BDXF¥RUXž?QH-G#@'wCH_b7Ž

“fPSH!TFE'BNAPaH_NQ•¤RUXcTQPSH-dŒXARUGYS[UR§¦oH_b EmdZbTQPSH!TOEmB¨NF@CXAT#b9@9H-XdS@CT#b9H-YoH-dZb©@Dd©TAPSHEDbab9?AH-XQX„fRˆb9TAP™Žª“fPSH-d

EmYSYS[Ui9R‡daBTAPSHXOEmG#HYS?ARUdZNkR‡Ya[‡HC^Z„HYS?A@CYZ@CXAHTAPSHnfH_b;WZNFH_b"š(?FE'dZNQP"“(E'?ABCH-T)šW9›7H-?_Ž‘“fPSHXQTA@D?FE'BCHcXQR‡gHcRUd E

n”H_b9WZNFHVbš(?FE'dZNQP“(E'?QBDH-TšW9›œHg?cb9@9H-XdS@CTb9H-YoH-dZb"@Dd"TAPaH#EDbSb9?QH-XAX‘„fR†b;TAPE'dZb˜RUXub;?OE'G!E'TQR†NgE'[U[UiXAGEm[U[‡Hg?

TQPZE'd!TAPaHXARU-H@'(TQPSHNF@Dd9wDHgd«TQRU@DdZEm[7R‡GYS[UH-G#Hgd«TFE'TQR‡@'d@'žEš(?FE'dZNQP“(Em?ABDHgT š(W9›7H-?VŽ

¬­9®7¯A°±oD²|'‚ EDbSb;?AH-XQX#„fRˆb9TAP2^TOE'B"RUG#YS[UH-GH-d9TOEmTARU@Dd Nk@DXATV^R‡dob9RU?AH_NFTŸ‹]TFE'BCBDH_bŒN-ECNAPaH-X_^fnfHVb9WZNFH_b=š(?FE'dZNQP

“(E'?QBDH-T šW9›7H-?AX

³ˆ´µ

¶£·¸V¹

µ

¶}º(»U·¼]½k¾

¿oÀ'Á§Â7ÃZÄkŖÆÃZÇ-ÂÉÈDÇFÅʈÁ§ÇFËÌ˧͏ˆÎ'È'È9ÄFÅ]Ê£ÏAЏÑ'Í ÒoәÔ4Ց֡ÁÌ×ØÊ£ÏţوÚZԙґÈ'ÅÄFۖÏQÜAÊo݈Þ9݈ߙà(á

â –ÏQã×DÏQÜOäÉÁÌŖÁ§Â£Ç'åæ¡Å

Unite´ de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Te´le´phone : (33) 99 84 71 00 – Te´le´copie : (33) 99 84 71 71

­;|­‚q’™EKYS[UWSYZEm?AT4b;H-XG#RˆNF?A@CYS?A@SNFHgXAXAHgWS?AXžEmdSdS@CdZNoeH-X(?SeH_NFH-GG#H-d9T2GE'daR‡YaWS[UH-d9Tœb9HgXžEDb9?QH-XAXQH-X(w9RU?ATQWSH-[U[UH-X

‰mŠ'‹`SRUTbSE'dSX[UHGH-GHTAH-GYSX_^[ˆE˜[†Em?ABCH-WS?#b9H-X!EDb9?QH-XAXQH-X!YSP9i9XARCWSH-X#NF?Q@UT#b9H![ˆEGH-G#HG!E'dSR\H-?QHDŽ[fH-d

?SeH-XAWS[UTQHCWSHf[ˆEKTOE'RU[U[UHpb;H-X#eHgTARCWSH-TATQH-XfbSE'dSX[‡HgXžN-EDNQPSHgXpb9HfYa?AH-GR‡Hg?4daR‡wCH_E'W;h+NF?Q@UT_ŽClH_NFRoH-XATYZE'?QTARˆNFWS[UR\H-?QH-G#H-d9T

b9?FE'G!E'TARCWSHCWZE'dobcb9HgX4`a[‡@SNFX(b9HYoH-TARUTAHgX(TOEmR‡[U[UH-X2XA@Dd9TWSTQR‡[URUXSeHgX_ŽE'dSX[UH(GHgG#HTAH-GYSX_^V[UH-XYoH-?–@C?AG!E'dZNFHgX}b;H-X

YS?Q@SNFH-XAXQH-WS?QXcXQWSYZHg?AXONgE'[ˆE'RU?AHgXubeH-YZHgdZb9H-d9Tb9HYS[UWSXfHgdYS[UWSX b9H[ˆECWZEm[‡RUTSeH)b9H[ˆEYS?SeH_b9RˆNFTQR‡@Cd b9H`S?FE'dZNQPSH-GH-d9T

TFE'dZb9RUXCWSH[ˆETFE'RU[U[UHub;W“(E'G#Yo@Ddb9HlR‡`a[‡HgX)b9Hš(?FE'dZNQPSHgG#H-d9T¢]š“ šž¥NF?Q@UTb9HG!E'dSR\H-?QH[UR‡dfeH_E'RU?AHEVwDH_N[ˆE

[ˆE'?QBDH-Wa? b9H[ÌEDb9?QH-XAXQHDŽ

EmdSX4NFHgT}Em?ATQR†Nk[‡HC^_da@DWSX(E'YaYS[UR CWS@CdSX7[UH(YS?QR‡doNFRUYZHHFhSTA?_\H-G#H-GH-d9T™XQR‡GYS[UHceH-dS@DdoNZeHpbaE'dSX[UH(TARUTQ?AHYZ@CWS?™[URUG#RUTAHg?

[ˆETOEmRU[‡[UH b9HgXeH-TQR CWSHgTATAHgX XAWa? [UH-X N-ECNAPaH-X"!$#&%('*)&+-,#HgTf[†E‘TOEmRU[‡[UHb9Wš(“ šKŽ

.;WS?WSd¤N-ECNQPSHRUdZb9RU?AH_NkTAH-GH-d9T¨eH-TARCWSH-TSeHD^2[†E!b9WaYS[UR†NgE'TARU@Cd¨EmdZEDNQPS?Q@DdSRCWSH#b9W"d9WSG…eH-?Q@b9HYZE'BCH#bSE'daX[UH-X

YS?Q@SNFH-XAXQH-WS?QX¢]bSEmdSXf[UH“ ’™š©H-T)baE'dSXf[UH-X#eH-TARCWSH-TQTAH-Xb9W!N-EDNQPSHV¥fH-XQT XAWaYSYS?ARUG…eH-HDŽ9L YaYS[UR CWZEmd9T([UH)GH-G#HfYa?ARUd9‹

NFRUYoHD^odS@DWaX YS?Q@DYo@DXA@CdSX HgdSXAWSRUTQHc[UH/10*2$34'*0*26517*8#9':)<;=87>?0:@A5B3*CD0E7-Žo’7HwC@D[UWSGH)b9HG…eH-G#@C?ARUXOEmTARU@Dd#baE'dSXf[UH

n”H_b9WZNFHVb#š?OE'doNAP“(E'?ABCH-T(š(W;›œH-?dSHbžeH-YoH-dZbYoE'X(b9H [ˆEK[ˆE'?QBDH-WS?(b9HK[ECb9?AHgXAXAHfHgT(H-XATTA?_\H-XR‡d;meH-?ARUH-Wa?)\EK[†EKTFE'RU[U[‡H

d9£@D?AG!E'TQR‡@CdcXQTA@C?AH_bRUdN-ECNQPSH-X NF@CdSXARUXATQXf@'(bSE'TFEcEmdZbTFE'BDXVŽDLbSb9?QH-XAXKTOE'BCXpEm[U[‡@'„ŒTQ@?AH-TQ?ARUH-wCHTAPSHECbSb9?AHgXAXf@'

E+`S[U@;NQ•7^S„fPaR‡[UHwDE'[URˆb9RUTi9^«b9RU?QTi EmdZbNF@CPSH-?QH-dZNFiTFE'BCX)E'[U[U@'„…TQ@#GEmRUd«TFE'RUd#bSEmTOE#Nk@DdSXQR‡XQTAH-doNFiRUdTAPaHcb9RUXATQR‡doNFT

[UH-wCH-[UXc@muE˜G#H-G@D?Ai!PSRUH-?FE'?FNAP9i©XAi9XATQH-G Žƒ!@DXQT#E'dSda@DWSdZNkH_bGR†Nk?A@DYa?A@SNFH-XQXA@D?QXGEmdSRUYSWS[ˆE'TQH—‰mŠ'‹`SRUTw9R‡?QTAWZEm[

ECbSb9?AHgXAXAHgX„fPSRU[UH)TQPSH„fRˆb9TQP@'YSP9i«XQRˆN-E'[EDbSb9?QH-XAXQH-XRUX)Em[UXA@BD?A@'„fRUdSBoŽ9L XE?AHgXAWS[UT_^oTQPSHXARU-H‘@'(TAPSHEDbSb9?QH-XAX

TFE'BDXRUdcTQ?OECb9RUTARU@DdZEm[ZN-ECNAPaH-XžRUX(RUdZNk?AH_EmXARUdSBZŽC“fPSRUX(RUX(YZEm?ATQR†NkWS[ˆE'?A[Uib9?OEmGEmTARˆN„fPSH-dXAG!E'[U[SbSE'TFE`S[U@SNA•XARU-HgXpEm?AH

WSXQH_b7Žo“fPSH-d!TFE'BRUG#YS[UH-GHgd«TFE'TQR‡@Cd—Nk@DXATf`oH_NF@CG#H-XE'dR‡GYZ@C?ATFE'd9T(RUXAXQWSH–@C?f@Dd9‹ANQPSRUYN-ECNAPaH-X_Ž

>2H-?Ÿ–@D?QGEmdZNFH @m4XQWSYZHg?AXONgE'[ˆE'?KG#RˆNF?A@CYS?A@SNFHgXAXA@C?AXb9H-YoH-dZb9XK@Dd!TAPSHECN-NFWS?FE'?Ai@'žb9i9dZEmG#RˆN`S?OEmdZNQP!YS?AH_b;R†NO‹

TQR‡@Cd™Ž7’™Em?ABDHš(?FE'dZNQP“(E'?QBDH-Tš(W9›7H-?QXGWSXATf`oHWSXAH_b"RUdYa?A@SNFH-XQXA@D?QXRUd@D?Fb9H-?TA@Em[‡[U@'„…wCH-?Ai"EDN-NFWa?OE'TQHYS?AHk‹

b9RˆNFTQRU@Dd™ŽS@C?pEš?OEmdZNQP“(E'?ABCH-T šW9›œHg?_^oTAPSH‘R‡GYS[UH-GH-d9TOEmTARU@DdNF@CXATAX”–@D?f`o@DTQP!TOE'BCX¢–RŽHDŽS`a?OE'doNAPECbSb9?AHgXAXAHgXO¥

EmdZbbSEmTOE¢–RŽHDŽaTOE'?QBDH-TEDbSb;?AH-XQXAH-XF¥RUdZNF?AHVE'XAH[URUdSH_E'?Q[Ui„fR‡TQPTAPaHcEDbSb;?AH-XQX)„fRˆb9TQP™ŽS“fPaHXARU[URˆNF@DdE'?QH_E@SN-NFWSYaR‡HVb

`9i E!š?OE'doNAP“(Em?ABDHgTušW9›7H-?cN-Emd `oH_NF@CG#HCWSRUTAHXARUBDdSR¡¦œNgE'd9T_Ž=KH_NF?QH_E'XQR‡daBTAPSRUXE'?QH_ERUXuEm[UXA@!`ZHVNF@DGR‡daBE'd

RUXAXQWSH–@C?fG#RˆNF?Q@DYS?Q@;NkH-XAXQ@D? b9H-XQRUBDdSH-?QX_Ž

>Em?OEDb;@VhaEm[Ui«^'RUd#NFWa?A?AHgd«TKG#RˆNF?Q@DYS?Q@;NkH-XAXQ@D?AXV^STQPSHYZE'BCH d9WSG`oH-?pEmXAXQ@;NkR†EmTAH_b„fRUTAP!EcNgEDNQPSH`S[U@SNA•RUX?AH-Ya?AHF‹

XQH-d9TAH_b!T„@@D?TAPa?AH-HTQRUG#H-XV^C¦Z?AXQT E'X EYZEm?ATf@'TAPSHECbSb9?AHgXAX TFE'BE'XQXA@SNFRˆE'TQH_b!„fRUTAPTAPSHcNgEDNQPSH`S[U@SNA•7^9XQH_NF@Ddob

EmX EYZEmBDHEDbab9?AH-XQXfRUdE‘“ ’™šŒH-d9TQ?Ai£@D?w«RU?QTAWZEm[§‹TA@m‹]YaP«i9XQR†NgE'[7EDbSb9?QH-XAXKTA?FE'dSXQ[†EmTARU@Dd2^«EmdZbXQ@DG#HgTARUG#H-XETQPSRU?Ob

TQR‡GH#E'X#E!YoE'?ONkH-[ @m)TAPaH`a?OE'doNAPŒEDbSb;?AH-XQX#@D?TAPaHTFE'?QBDH-TEDbSb;?AH-XQX_Ž(TRUXH-wDHgd G@D?QH#NFWS?ARU@CWSXTAPZEmTcTQPSH-XQH

RUd9–@C?AG!E'TARU@CdSXžE'?QH?AH_ECbEmTfTAPSH‘XOE'GH TQR‡GH 8#92 NF@DGYZE'?QH_b#b;WS?ARUdSBTAPSH‘TOE'BNQPSH_NQ•7Ž

“fPaHNF@Cd«TQ?ARU`SWSTQRU@Dd@'fTAPaR‡XYZEmYZH-?RUXTA@"XAPa@'„ TQPZE'TTAPaH-XAHE'doEDNQPS?A@CdSRUXATQR†N?QH-YS[URˆN-E'TQRU@DdSX@m RUd9–@D?QGEmTARU@Dd

G!EVic`oH?AHgG#@'wDHVb`9i#E'YSYa[‡i9RUdSBTAPSHXQR‡GYS[UHf–@C[U[‡@'„fRUdSBYS?QRUdZNFRUYS[UH

! #9!@13 0@)40 , 8 >?0# 3*0E7E3 @D8, !+#&@ 07 !# + @

“fPaH#?AHgGE'RUdZb;H-?@' TQPSH#YoE'YoH-?cRUX@C?AB9E'dSRU-H_b©E'X‘–@D[U[U@'„fX_Žod .9H_NFTQR‡@Cd sa^7„žHYZ@CRUd«T‘@DWSTPS@'„qb9?OEmGEmTARˆN

N-Emd `oHTAPSHPZE'?Fb9„fE'?AHNF@DXQT)@mp’(IN-EDNQPSHEDbab9?AH-XQXTOEmBDXE'dZb!@mpš?OE'doNAP"“(E'?QBDH-Tš(W9›7H-?QX_Ž2d.9H_NFTQRU@DdS^S„H

YS?Q@DYo@DXQHE'dHg[‡HgB«E'd9TXA@C[‡WaTARU@Dd˜–@D?‘[‡RUGR‡TQRUdSBTAPSHTFE'BXQRU-H–@C?@Dd;‹ŸNQPSRUY¤N-ECNAPaH-X_^ @)40 +#92$+7(0*':@%@ 8 > >?0(2 '(8 '*) 0-Ž

dTQPSH#RUdZb9RU?QH_NFT‹TOEmBDBCH_bN-EDNQPSHC^™TQPSH#YZEmBDH@m›œXQH-TRUd¤E'dEDbSb;?AH-XQXTOE'B!RUX?QH-YS[ˆEDNFHVb`9i E!Yo@DRUd9TAH-?‘TA@ EYZEmBDH

TFE'`S[UHDŽ2“fPSRUXYZE'BCHTOE'`a[‡HG!EVi!`ZHTQPSH#“ ’2š –@C?)w9RU?ATQWZE'[U[Ui!TOEmBDBDHVbN-EDNQPSH-X@D?E!YSP9i9XARˆN-E'[YZE'BCHTOE'`a[‡HCŽ7“fPSH

TFE'BNQPSHVNA•!WSXQRUdSB#E'dRUdZb;R‡?QH_NFTŸ‹]TFE'BDBCH_b!YSP9i9XARˆN-Em[U[‡iTFE'BCBDH_bNgEDNQPSHRUX XQRUG#YS[UH-?TAPZEmd„fRUTAPNF@Cd«wCH-d9TARU@DdoE'[™N-ECNAPaH

b9HgXARUBDdSXVŽ9“fPSH XQRU-H @mœTQPSH TFE'BcEm?A?OEViRUd#E'dR‡dob9RU?AH_NFTŸ‹]TFE'BCBDH_bN-ECNQPSH)b9@9H-XdS@CTpb9HgYZH-dob@DdTQPSH)ECbSb9?QH-XAXf„fRˆb9TQP™Ž

“fPSHN-EDNQPSHG#RUXAX?OEmTARU@DXK@'(RUdZb9RU?AHVNFT‹TOEmBDBDHVbNgEDNQPSH-XE'?QHXAPa@'„fdTA@`oHwDHg?AiNF[U@DXQHTA@TAPSHcNgEDNQPSHGR‡XQXf?OEmTARU@DX

@mNk@Dd9wDH-d9TQR‡@CdZE'[™NgEDNQPSH-XVŽZ“fPaHHFhSH_NFWSTQRU@Dd!@'wDH-?QPSH_ECbE'XQXA@SNFRˆE'TQH_b!„fRUTAP!TAPaH)WaXAH@mEmd!R‡dob9RU?AH_NFTfTFE'BCBDH_b!N-ECNAPaH

RUX)Em[UXA@XAPa@'„fdTQ@`ZH‘XAGEm[U[]ŽCd.9HVNFTARU@Dd!Šo^S„HYS?AHgXAH-d9TEXARUG#RU[ˆE'?XA@D[UWSTQRU@Dd–@D?fTQPSHcš?OEmdZNQP“(E'?ABCH-T šW9›œHg?_Ž

“fPSHXQRU-H@'ž@CWS?/10*2$34'*0*2 5B7(8$#9'*);=87>$0:@B513*CD07)b;@«HgXdS@DTb9HgYZH-dob@Dd"TAPaH—ECbSb9?AHgXAX„fR†b;TAP™ŽoTRUX)XQPS@'„fd

TQPZE'T„fRUTAP NkWS?A?QH-d9TYZE'?FE'GH-TAH-?QXTAPSRUX XQRU-HRUX)‰ [U@'„žH-?KTAPZEmd£@D?)ENF@Dd9wCH-d9TARU@DdZEm[4š“ š „fPSRU[UHYS?Q@'w9R†b;R‡daB

EmdH DWaR‡wDEm[UH-d9TžTFE'?ABCH-T Ya?AH_b9RˆNFTQRU@Dd!?OEmTARU@ZŽ .9HVNFTARU@DdyNF@DdoNF[UWZb9H-XKTAPSRUXfXATQWZb9i9Ž

!#"%$'&)(

+­;² (+*-,/.¤~V€).0*1/2–­&­,7~_€a~3*–±,…'±7|-~'| d@D?Fb9H-?TQ@NF@DdZNkR‡[URˆE'TQHcXQGEm[‡[@C?)GH_b9RUWSG*[URUdSHXARU-H„fRUTAP¤E

[U@'„ TFE'BE'?Q?OEViXQRU-HD^7G!E'd9iN-EDNQPSH#b9HgXARUBDdSHg?AXPZEVwDHWSXAHVb"XAH_NFTQ@D?QH_b¤N-ECNQPSH-X54‰76AŽoL N-ECNQPSHXAH_NkTA@D?NF@CdSXARUXATQX@'

XQH-wDH-?FE'[žNk@Dd9TARUBDWa@DWSXN-EDNQPSH[URUdSH-X ZHVEDNQP N-ECNAPaH[‡RUdSH‘PZE'XKR‡TQX@'„fd NF@DPaH-?AH-doNFi¨EmdZb!wDEm[‡Rˆb9RUTiTFE'BDXV^o`SWSTE'[U[™TQPSH

N-ECNQPSH[URUdSH-XfRUdEN-EDNQPSH‘XAH_NFTQ@D?KXAPZEm?AHcE‘XARUdSBC[‡HEDbSb;?AH-XQX TOEmBZŽ8…PaH-d!T„ž@N-EDNQPSH‘`S[U@;NQ•9X E'?QHwDE'[URˆbR‡d!EXARUdSBC[‡H

N-ECNQPSH#XQH_NFTA@C?_^TQPSH-d¤TQPSH-i"`ZHg[‡@CdSBTQ@TAPSHXOEmG#HG#H-G@D?AiXAH_NkTA@D?!¢£RŽHCŽ7TAPSHgR‡?EDbSb9?QH-XAXQH-X@Dda[‡i"b9R¡›œH-?`9i TQPSH

XQH_NFTA@C?@'›7XAHgTO¥-Žo“fPSHTOEmBEm?A?OEViXARU-H@Dd E+XAH_NkTA@D?QH_bN-ECNAPaHc„fRUTAP˜XAH_NFTQ@D?XARU-H9ŒRUX)EmYSYS?Q@Vh;RUG!E'TAHg[‡iTQPSHXFE'G#H

BC?OE'd9WS[ˆEm?ARUTi–?Q@DG G#H-G@D?QiTA@#TQPSHYS?A@SNFH-XQXA@C?RUX)EN-ECNAPaHc`S[U@SNQ•7Žu@«@Sb9G!E'd%4Š 6YZ@CRUd«TQH_b!@CWST TQPZE'TTAPaH[U@'„

BC?OE'd9WS[ˆEm?ARUTic@m4bSE'TFETA?FE'dSXŸ–H-?fE'XQXA@SNFRˆE'TQH_b„fRUTAPXAH_NkTA@D?QH_b!N-EDNQPSHgXf?AH_b9WoNFH-X `aWSX(TA?FEN'Ž9d#E‘NF@DPSHg?AH-d9TfXAPoE'?AHVb

GH-G#@C?AifGWS[UTARUYS?Q@SNFH-XAXQ@D?V^-TAPaH(`SWSXGEVif`oH_NF@CG#H(TQPSH(YoH-?£@D?AG!E'dZNkH(`Z@CTATQ[‡HgdSH_NQ•cE'X2RUT™RUX7WSXAHVb–@C?™G!E'RUd9TOE'RUdSRUdSB

NF@CPSH-?QH-dZNFi@mœN-EDNQPSHgX_ŽC“fPSHžYa?A@D`oE'`SRU[URUTi @'oYSRUdSB'‹YZ@CdSB YaPSH-dS@CG#H-dZEKb9WSHTA@K]Em[‡XQHžXQPZE'?QRUdSB RUX[U@'„žH-?2„fRUTAPXAGEm[U[

N-ECNQPSH#`S[U@SNQ•9Xc¢E'dEDb9wDEmd9TOE'BCHc@mpWaXARUdSBN-EDNQPSHXQH_NFTQ@D?AXF¥TAPZEmd „fRUTQP [ˆE'?QBDH-?`S[U@SNQ•9X 4Ìs76ŸŽ”@'„žH-wCH-?–@C?GE'd9i

EmYSYS[URˆN-E'TQR‡@CdSX_^SE‘XAHVNFTA@C?AH_b"N-EDNQPSH‘i«RUH-[ˆb9XfRUd!EPSRUBDPSH-?fGRUXAX(?FE'TARU@TQPZE'dE‘dS@Dd9‹XAHVNFTA@C?AH_b"N-EDNQPSH4ŠZ^7IV‰ 6AŽ

d54UI_‰76A^?.9Hg-dSH_N”YS?AH-XQH-d9TAH_bTQPSH b9H_NF@CWSYS[UH_bXQH_NFTA@C?AH_b!N-ECNQPSH-X_ŽC“fPSHfYS?QRUdZNFRUYS[UHžRUX(TQ@b9RUXAXA@SNFRˆEmTAHfTAPaH EDbSb9?QH-XAX

TFE'BE'?Q?OEVi–?A@CG*TAPSH#baE'TOEE'?Q?OEVi9ŽZL Yo@DRUd9TAH-?dZEmG#H_bXQH-[UH_NFTARU@CdTOE'BRUXuEmXAXQ@;NkR†EmTAH_b"„fRUTQPH_EDNQPN-EDNQPSH`a[‡@SNQ•7^

TQPSRUXcXQH-[UH_NFTARU@Cd¤TOEmBYo@DRUd9TAX@Dd¤E'dŒEDbSb;?AH-XQXcTFE'B"[‡@SN-EmTARU@DdE'dob¤E'[U[U@'„ TQ@?AHgTA?ARUH-wCH!TAPSHG#H-G@D?AiECbSb9?AHgXAX@'

TQPSH`S[U@SNA•7Ža“fPSHcYa?AH-XQH-d9TOE'TQRU@Dd@'fb9H_NF@CWSYS[UH_b˜XAH_NFTQ@D?QH_b¤N-ECNQPSH-X„pEmXK–@SNFWSXAXQH_b"@Dd˜`ZH-TQTAH-?N-EDNQPSHWSXFE'BCHc„fRUTAP

H CWSRUwDEm[‡Hgd«T2TOEmB)RUGYS[UH-GH-d9TOEmTARU@DdNF@DXQT_ŽVd4UIV‰76Ÿ^VTQPSHž`oH-PZEVw9RU@D?2@'ZHkh;TQH-?AdoE'[Z’2s)NgEDNQPSH-X(„fE'X2GEmR‡da[‡i ECbSb9?QH-XAXQH_b7Ž

d!TAPaR‡XfYoE'YoH-?_^a„žHEDbab9?AH-XQX@Dd9‹ANQPSRUYN-ECNAPaHcE'dZb!š?OEmdZNQP“(Em?ABDHgT š(W9›7H-?KR‡XQXAWSHgX_Ž

d4UI_x76A^8¤E'dSBH-TE'[ŽDYa?A@DYo@DXQH_bETQH_NQPSdSRCWSHK–@D?f?QH_b9WZNFRUdSB#Em?AH_ENk@DXATK@'@Dd9‹ANQPSRUY NgEDNQPSH-X‘¢]lfEDNQPSRUdSBL)b«‹

b9?QH-XAX“(E'BCXO¥-Žm“fPSHžYa?AH-XQH-d9TOE'TQRU@Dd#@mœlfEDNQPSRUdSBLbSb9?AHgXAX“}EmBDX2–@SNFWSXQXAH_b+@Dd?AH_b;WZNFRUdSBTQPSHfTOEmB)RUGYS[UH-G#H-d9TFE'TARU@'d

NF@CXAT`9iHkh;Ya[‡@CRUTARUdSBbaE'TOE+[U@;NgE'[URUTi«Ž 8¤E'dSBH-TE'[Žo?AH-G!E'?A•CH_b˜TAPZEmT)TQPSHEDbSb9?QH-XAXTOEmBDXXATQ@D?QH_b"RUd E!N-EDNQPSH#Em?AH

@m–TAH-d!H CWZEm[ŽD“fPSHgi#XAWaBDBDHgXATAHVb#da@DTfTA@E'XQXA@SNFRˆE'TQHTAPSHEDbab9?AH-XQXfTOEmBcTQ@cTQPSHbSE'TFE`S[U@SNQ•7^D`SWaTfTA@WSXAHE‘YZ@CR‡d9TQH-?

TQ@uEKXQYZH_NkR†Em[UR‡gH_bTOEm`S[UHždZEmG#H_b‘lfEDNQPSRUdSB LbSb9?QH-XAX“(E'BDX2„fPSH-?QHfTAPSHfHF›7H_NFTQRUwDH EDbab9?AH-XQXžTFE'BKR‡XXQTA@D?QH_b7Ž9lfEDNQPSRUdSB

LbSb9?AHgXAX“(E'BCX 4UI_x76(G!EVi#`oHcRUd9TAH-?QYS?AHgTAH_bEmX)E#b;H_NF@DWaYS[UH_bXQH_NFTQ@D?AHVb¤N-ECNAPaHc„fPSHg?AHTAPaHcXQH_NFTA@C?XARU-HR‡XH CWZEm[

TQ@TAPSHXQRU-H@'žE'd!E'XAXQ@SNFRˆE'TARUw9RUTi#b9H-BC?AH-H@m(TAPSHN-ECNAPaHDŽ

d04UI76Ÿ^ .9WS-WS•9RfH-TE'[Ž7Ya?A@DYo@DXQH_bTQPSH#“ ’2š‹WSdSR¡¦ZHVb¤N-ECNAPaH¢–“ Klf¥-Žd¤E!“ Kl^4E YZ@CR‡d9TQH-?cTQ@ E!“ ’2š

H-d9TQ?AiRUX XQTA@C?AH_b˜RUdTQPSHEDbSb9?QH-XAXTFE'BEm?A?FEVi#RUdSXATQH_EDb˜@'(TQPSH—ECbSb9?QH-XAXTOEmBZŽa“fPSH“ ’™š}‹WSdSR¡¦ZH_b"N-EDNQPSHGEVi`oH

E+XA@D[UWSTQRU@Dd!–@C? w9RU?ATQWZE'[U[Ui#TFE'BDBCH_bN-ECNQPSH-X_ŽÉ“fPSHcRUdZb;R‡?QH_NFTŸ‹]TFE'BDBCH_bN-ECNQPSHYS?AHgXAH-d9TAHVb"R‡d˜TAPSRUX YoE'YoH-?EDbSb9?QH-XAXQH-X

Em[‡XQ@YSP9i9XARˆN-E'[U[UiTOE'BCBDH_b!N-ECNQPSH-X_Ž

+­;² (+*-,/.#{'€),(~V€S+.Z­9~{ž­9 *1/2£­&­ ,2~-€S~ *ˆ±, '±7|-~ lfEm[ˆb9H-?fE'dZb?QWSd9„pEm[ˆb54‡I67YS?Q@DYo@DXAHVb#TQPSH

vK’ .¤Em?ONQPSRUTAHVNFTAWS?QH"¢–dSHFhSTN-EDNQPSH[UR‡daH#E'dZb"XQH-T—Em?ONQPSRUTAHVNFTAWS?QH_¥-Ž“fPSH-RU?XATAWob9i¨Nk@DG#Ya[‡HgTAH_bEmdZb˜–@D?QGEm[‡RU-HVb E

YS?QH-w9RU@DWSXKXATAWob9i#`9iC@DPSdaXA@Dd4Ìx76AŽ

”XAWZEm[S`S?FE'dZNQPYS?AH_b;R†NkTARU@DdGH_NQPZE'dSRUXQG#X™b9H-[URUwDHg?}ENF@CG#YS[UH-TQHpECbSb9?QH-XAXVŽ«šWST_^m„fPZE'TRUX?AH_Em[‡[UidaH-H_b9H_b+RUX4TQPSH

Yo@DXQR‡TQRU@DdR‡dTAPaH N-EDNQPSHK@'ZTQPSHfdSHFhST(RUdSXQTA?AWoNFTARU@DdTQ@`oH–H-TONQPSHVb7ŽD“fPaH v ’ .‘YS?QR‡doNFRUYS[UHpNF@CdSXARUXQTAXR‡d@Dda[‡i‘XATA@C?ARUdSB

TQPSRUXžWSXQHF–WS[oRUd9–@C?AGEmTARU@DdRUdETOEmB'‹[‡HgXAXžb9RU?QH_NFT‹GEmYSYoH_bTOEm`S[UHfR‡daXATAHVEDb@mœTQPSH)Nk@DG#Ya[‡HgTAHfEDbSb9?QH-XAXfTQP9WSX(XOEVw9RUdSB

XQTA@D?FE'BCHpEm?AH_EaŽ-“fPSH(XQRUGWS[ˆE'TARU@Cdf?AH-XQWS[UTAXYS?AHgXAH-d9TAHVbR‡d4‡I69XAPS@'„H_bTQPZE'TV^'E'T™NF@CG#YZEm?OE'`a[‡HRUG#Ya[‡HgG#H-d9TOEmTARU@'d NF@CXAT_^

vK’ .TOEm`S[UH-X PZEVwCH `oH-TATQH-?TOEm?ABDHgTfYS?AH_b;R†NkTARU@Dd!?OEmTARU@DXfTQPZE'dNF@Cd9wDH-d9TARU@CdZE'[7`S?FE'dZNQP!TOEm?ABCH-Tf`SW9›7H-?AX‘¢]š“ š(XF¥-Ž

)& ! c _‘

! " #')$ $%#& $%'(#)& $*#%+ #'$$%# /,& -&/. "'

d Nk@Dd9wDH-d9TQR‡@CdZE'[N-EDNQPSHgX_^™E+TOE'B„@D?Fb!RUX)EmXAXA@SNFRˆEmTAH_b!„fRUTQPH_EDNQP NgEDNQPSH[‡RUdSHCŽS“fPSRUX TFE'B„ž@C?Ob!NF@DdaXARUXATQX)@mpE'd

ECbSb9?AHgXAXTOEmBE'dZb"XQ@DG#H@DTQPSH-?XATFE'TAWaXTOEmBDX¢¦ZBDWS?QH IV¥E7TQPSHECbSb9?AHgXAXTOE'B"E'[U[U@'„fX TA@˜?AH-TQ?ARUH-wDHTAPSHHF›7H_NFTARUwCH

ECbSb9?AHgXAX¢–w9RU?ATQWZE'[@D?fYaP«i9XQR†NgE'[ˆ¥f@m}TQPSHcbSEmTOE+`S[U@;NQ•XATA@C?AH_b˜RUdTAPaHcN-EDNQPSH[URUdSHDŽ9KWSH‘TA@#‰'Šm‹]`aR‡T Em?ONQPSRUTAHVNFTAWS?QH-X

w9RU?ATQWZE'[ EmdZb©YSP9i«XQRˆN-E'[ ECbSb9?AHgXAXAHgXE'?QH!dS@'„ wCH-?Ai„fRˆb9HCŽ a@D?R‡daXATOEmdZNFHD^TAPSHECbSb9?AHgXAX#TFE'B"@Dd©TAPSH021K`«i9TQH-X

YSP9i9XARˆN-Em[U[‡iRUdZb;HFhSH_b’(Ib9RU?AHVNFT‹GEmYSYZHVbNgEDNQPSH@m4TAPaH 43(l sSICI_‰mŠcRUX sDt؋]`aR‡T„fR†b;HDŽ

“fPaHuECbSb9?QH-XAXKTOE'B?QH-YS?QH-XAH-d9TQXTAPSHG!E-jF@D?YZEm?ATf@'TAPSH‘TOE'B„@D?Fb7Ž9“fPSH„fRˆb9TQP#@m}TQPSHTFE'B„ž@C?Ob`ZHVNF@DGH-X

CWSRUTAHKXARUBDdaR§¦7N-E'd9TžNF@CG#YZEm?AH_bTQ@cTQPSH „fRˆb9TQP@'4ENgEDNQPSH`S[U@SNA•„fPSH-dTAPSH`S[U@SNQ•cXQRU-H RUXXAGEm[U[Z¢£HDŽBZŽoI_‰`9i9TAHgXO¥-Ž