!#"!$&%('*),+(-."/0*-1
24365*798:3<;>=/7@?A3!B#CD=!3FEHG9IJI
KMLONOPRQTSUVXW!NOPZY[L
\^]_a`Ab QcPedf#g
hAh
i




 

"!$#&%('*),+
.09;/*:=<0
12%3546>@7?BAD5CE%3CG%F3CI12H%JKMLN>OCQPRCTSEFUV:W:X:Y:X:X:Y:X:Y:X:Y:X:X:W:X:Y:X:X:Y:X:Y:X:Y:X: 8Z
9;9;:\: 9[^]`np_ao;SQcFFbGJ5qRAdSEcgiHdFX_*eRFr&fAD_;_&gheRSE?=gigiHd_&_jks?=AD:Y_;:XkDl&:WAD:XkDFm:Y:X:X:X:X:Y:Y:X:X:Y:Y:X:X:Y:Y:X:X:X:X:W:W:X:X:Y:Y:X:X:X:X:Y:Y:X:X:Y:Y:X:X:Y:Y:X:X:: Zt
9;: u vwF?=gixdFbEPykDl&ADbEAD_aSQFCECW:Y:X:W:X:Y:X:X:Y:X:Y:X:Y:X:X:W:X:Y:X:X:Y:X:Y:X:Y:X: t
-^u&z|:=<{~}5]`12_azsSQF12bGJ5Adc#;FYq;56bEH2cF%CE%3CGg=_;1ak% :Y:X:W:X:Y:X:X:Y:X:Y:X:Y:X:X:W:X:Y:X:X:Y:X:Y:X:Y:X:R<[
u&u&:\: 9[ N>@giHD_UeRU$gi_&l;k_;gBc:XA:YSEgi:XHd_*:Yr:XA:X_&eR:Y?=g:X_;:Wk :X:Y:Y:X:X:X:X:Y:Y:X:X:Y:Y:X:X:Y:Y:X:X:X:X:W:W:X:X:Y:Y:X:X:X:X:Y:Y:X:X:Y:Y:X:X:Y:Y:X:X::<3<399
^+$#;%1%3512%dXO'*),+
2
0;:=<1MpO(b1acr;,giSQ&F3cSQ7l&bQF(5}:X1:Y:X:W%:X12z:Y:X:X:Y:X:Y:X:Y:X:X:W:X:Y:X:X:Y:X:Y:X:Y:X:2<38Z
;;:\: 9[MMpp**q;]`UbEHq;SE?=H2FcUHDF?BC_aSE:YA:XSQg=HD:X_:Y:X:X:W:W:X:X:Y:Y:X:X:X:X:Y:Y:X:X:Y:Y:X:X:Y:Y:X:X:X:X:W:W:X:X:Y:Y:X:X:X:X:Y:Y:X:X:Y:Y:X:X:Y:Y:X:X::[D<3t

<


 



   w


HDq6r;FgB bcArSEcgiA?i_&g=?=FkI_aCGcS PRHD CQCGU$FSQbEFl;xDU_;FgBbwacghAUSISQg=CGHRHDleR_s6FF?pgBbEC&q&C~&bQJ HbEl;x2HDgi?gBU SeRFg=HDCYC$_&AjgiF_&gicq;_HdlRc_aS(l;xd'bFHDA_;lR;g=SEF?=q;F!_alRSAS3"N:*$A)I#Pjr&SQSEr&F(H(F%CQCG&l&SQADcbECQl&rsgBccq;SQq&l;bEg=bEAUFmbADgiA(SQe;g=gixDe;kdF3g=UCGC$SQbEADAg bQbE&FHDlRl&SQF_&F3_+ee 

kdHJADkDcF3Fey_aSQg=b_(A?=eRg >HdFgi_&e|kCQ]PR'-CT,.SEF#0Um/2C14?: 305 )IADr;_&Fy7e kD68Ha18A92?@:;12g=C<"1SQ:@H2Umg=_&@AcFX=DFy] '-eR, gBCTSEgBbQCIAg ;_;giHSQSF3esHd_;cFYHdUHJq&SElRr;SQ$F g=_;=DkFP UcHdHdbQ_&Fyc?=FH2qRH@SE= C
SQSQcr&HmF_aFeRUSQHmbAcgi?=SgA>: _Fe g=_2cxDHd-H U=DFYq&lRSQr&SQg=F_;CQkBFq;g bE: FdH2:*cFq;eRl;l&SbQF3cCHd:IUNU,l;gil;?BeR_;g=gB_;cAkySQg=FHDxD_ FbEq;PabESQHRr;cg=_;Fe;kyl;ADbQbQF3HdCYl;gi_&_ae(SEH ] '@?igA, ;bg=ACMbEF_;CCH DS J bENHDAU P
SQ2r&PmFX@)Iq;g=r;bQbE-Hg=bQC~F;?iq&?=6FbQAUjH-_&;: em?iFMU Fr&?BCGADHdC~7_ ?=HDHT_&<3tDkDZ6Ju FI~Fg=_E_dSE=2bQ_;HRHFeRl_GcFFe ;lRAS c?=HdghSQUSQ?=q&F!?iFNSQAdFC?=Pme;eRHDg_;6FFAbQF6_dHDKS l;NS~giASpPl;H_aJSQg=A?&SGAWSADq&Lc A=2q6gi_&Fk b
cAYADq;?i bE]`HR_q&cbQFA*HRe;c_al;F3l;eRbQFISEl;CQbEHdr;F_mFC@?=UM?iGHRAdccAr&r;SQAF3g=_;SXe DF NHdQ!_*gibEDbQHDSQFSQr;?ir;pFwFADcb_&AUme?= giAD_;MckXr;F?Bg=q&CG_;bQHdFHR_CcO: F3CQNOCQl;C~kDr;HdkdR_FF_jCGPSQFAe7g=Cq;NbECGH2l&AdcCQCwFq6CEADFCN?i_&=HDHFeR_(F3Se g=U_;2k AdAc_&q;r;ebEg=HD_;Fkd&FoRbEF3ADP cUmlRcSECAgiHd?=SQ_H C
SQHbEr&FJ~CQFSEl;r;c?hS3F,A:|?=ciFADb?i=FFSQgiH*e(SQr&SQq;Fr&bEbFHRUccF3AF3eRCQ?=l;iCEFbEAF,FYkdFg=SE_ Aq&=dSQAdFr&CQCF$CQg=q&q&_;?=ADkAdbEcAD_;FUHdHdb$F_ SQ] F'-QbE, Cw:6]`A_RA_&SJ eHDADbEUmc?iIAA_gBSQC,g=cHDx2HD_gBUCGAgc;.F A?=_&F ADSELc H F,=jSQSEg=br;_ AF*_&SQr&q&CQq6F$bQHdHDq;kDbQbESQbFHRAe cUF3J UeRbEl;HDFUbEb3F :
)Ir;gB)ICIr;UF,FgBSQeRr&FH2Aye(HgBJC!K=2_;LIHF> _jg=UC AD&C ADCQF12ezsHd&_j31(SQr;{F$@H&dCQ1aFbExASE1giHdD_j#;SQ}}r&RAHDSwb?=H2HDcJ SQAF?_.q;TTbQlHRCTcS FeR'*l;),bEF,+ c: A?= CwAbEF
SQVA r&gi@g=SQC$r;Fg=?iCQ_ADW=2UA_;Fmq;FH bQUHd_kDF3cbAr&A_&UA?e _;gBbE@CQl;YU F_;?i_;6g=l;_;Fy_&kmFeRo2HdF_jSQbEFCGSQ_&AH2eRCQHRF3gie _&e kDUSQ?=FH Fccq;rHDbEUAH_;x2q;gBg=CGl;e;U SQF$Fb3J J Hd:XHdbXbW)ISQSQr;bbFAAbQ__&FCTCGJ J HDJ FFbEbbYF@RHHgiJJISMccg=HdHdC_a_dq;SQSEbQbEbQHdHDHdq??HaAADCG__&F3e|e eye;e;SEr&AASSAAA S
ADcbQHa[ CQCNAFTTAmHdbNcHdgBCEUCGl;U,F3l;CN_;J5gBADccAgiSQ_;g=kHD_*SEr;_;FFZS eRNFHDCQg=8b kD=_;: FbHJAD_KLN>OUF3cr&A_&g=CQU g=_&c?=l&eRF-#
\ SEcr;AFSEgiHdq;_ bEFJ5cADgBgiCQ?=F$l;bECQFFC UmA_aSQgBcCwHJNA*cA?=g=_SEr;Fq;bQF3CGF_&CQFJ H(UAdcr;g=_;FAD_&ecHDUU,l&_;g]
\ SEHDr;J~F ACQCQFr&UmAbEAF_ae(SEg=ADcCXe&eRHbQJF3CQADCIe&eRCQq&bQF3ADCQc^C F `cHD_aSAg=_;gi_&k(ADbQkdl;UF_aSECYg=_ SQr;?F H q6HdCECGAg ;?=_F IX@A &CGF_&CQF
\ g=_aSQFkDbASQg=HD_*HJbQFUHDSQFXcAD?iBCNgi_aSEHFoRg=CGSQg=_;`k H HdbIJ lRSQl;bE_F INq&bQHdkDbAUUgi_;kCGPRCGSQFUC
[

\ &gi_&e;gi_;k H5r;HF AmcA?=iFbeRFSEFbEUg=_;F3CISQr;FX?=HRcASQg=HD_*AD_&e(g=e;F_aSQgiSTP HDJSQr&FcA?= F_I

\ CQl;giSEA@; ?iFwq;bEHSQHRcHD?BC~J HDbpSEbEAD_&CGJ Fb HDJe;ASAA_&emcHD_aSQbEHD? FSZ@FF_ycA?=iFb A_&e cA?= F
\ r&HF SQHmq&bQHx2gBeRFWe&ASEAg=_aSQFkdbQgiSTP AD_&e*CQFcl;bEghSTP7H5gi_AD_*HdqF_(_&FSZNHDb8=+I
CSQGr&SEAFbQPNOS Fr;o2gigi?=F3SQFcrGlRSQ SEr;6 F$F Fg=c&_ AAdl&eRCGCQgBg]Fc$FSEg=r;eRbEFFYF3_aA*cSACQAD?=HDe&l&gi_;e;_&k$eRe;bEACXF_&CECQe*CwgiUCQcq&q;AAD?=?=FcFFemADCC_&Sq;ebEHRFr;c?=gBF3FceRkdrADl;_abEcFADSCCl&CQCQbEFll;CWR_ySQq;Hd?=bEF_ H@q;;eRbE?=gFH@6 Um; F?=bQCFF:,Um_aSNLpCWAUmFboRADAgBcUCTr&S3F:&gi_;SEF)F3bC2H C 
UmACQg_;ADe?=cF$r;bEg=J5F_;ACQg=F3l;?iCl;?iSYbEAFbEAdCWFYCG?=c_;H*ADHl&rSMCQAFgBxDeRCWF$FeR_dSQg]SEHg=cF AbEFF? :N_aq&SYAdg=q;CQ_&CQbEAFH@?=e ;P@ ?=FB Um6 r;HCgBSE:,crr aUmSQcg=A?iADW_7cr;U6 g=_;FyHdFCGcCMSWHdcUHDAJ q;_SQ?ir&gBccFbEACQAdSQFCGF3r eSc A A_7F_&CQ6e(q6FFFcAdeRgBAcFrj?=ADP?hS$HJpghJNqgiSQHaSQr;r CZF  
A/ "_/ es1 K&LN/ : > gBC$A7 g=e;F?=P- l&CQFe SEFcr;g l;FmSEr&ASl;_&eRFbQ?=g FCUmAD_aP 5: / W6(: 1L5 B146 W: 3
  

 


  


 




A cHd)_acHXxdHDFl;l;_a__aSQeRSg=HDF b_CTASbE?AF?i_&AdHRee cHAr;J5?eSHFq;7BbE;HRKlRcJZLIF;e;> _Jl;2bQNPaFYHDSQFc8b ADCL=RI?i2C S NgiS HDgBb8Cp=Rg=CU: q6>@HDHdbQ_&SEADCGF3_aeRS Ff&bbACTSpcSEADHY?i J l;?=gA?i=D=PF l;_&eRFbECGSEAD_&er;FH 
kDFr;bF:pbQ]F
J 4SQ5mr&F,gBC@cADAD_y?igigB_aCSEFUmkDADFe;bC FwJ bE HDU gBCISQAr;_ FXADUmbQbADAgiP,_HDq;JbEcHDr&kdAbEADbADUcSQdFSEbr;CCFdACGSE_ADe`cL=R3 gi?=14/M6gBF,CIADAC_;HDCQr;SQr;HFFb _jg=_dgiSE_ F4 :
SQbE[Rr&l;:=<-Fw_;H_;A-CGg=SEIK_;ADBk6Lc =RFJgiHdg=SM_ybQq;FXHDl;bSESEeRr;CIFF$SECb r;caAFX?=Ad?=bQCT:!FSNSQ)HDl;Hy_;bE_jFMUmf&xAbA=dCT?=_SFXl;abSQAdr;giC@_ F$CQAcr;AFH bE?=FW&kd_mg=SECGr;g=SQ_*F,FCb cRADgibEk?iF=: FU[;bw:iH< q;xDH l& F3CQIC@r;:pSQFr;CFXJ SQSQbEr;FFb F,SEl;6q&1 bQA@_jb5AADUr&e&AdeRFC SEbQFF3fbCQ_;CCC g=;CQHDAr;_a_F3SEeeH
SQJ bEbHDAU_CTJ SEFr;bEFCCTcSHdAD_dLc SE=0bQRHdbE? F&SQl&AdbQcL_;= g=_;SQHkgiSQSr;SQFHcSQADr;?i=FXFb3Hd: bQg=kD)Ig=_&r;ADFj?cCGASEA?= SQF-F b$;SQADr;CFCQ_r;FH bEFU_*Hg=xD_F3CXgiSQkr&: F([Rq:=-< AH5b_c AIU: FSEFbC
#cHd;q;}2g=FF1 exdHDFSEbbH(Ad?SQ#;r;SQ}5r&Fm}gi_;CGSEkaADCQLc A= 1bEFAd1aCY@12CGHdr;bGFH SEDrj1 _: _;HOgi_|SEgix_;Ak?=g=:@l;k&F:&HDq[;bA:i< bHDAH _& U@F I;FE: SEg=_)Fb_H*D>DCGSQ;lr;q&cFmADrbEcAdADADCU?i= 4FF5eSQFHdq;bEb%CbEHR3 ccAF_ e;l;14/(bQF D-F gBDC #;A CQ}gi }xUAD q;?il; ?=PF
q&giSCADbE;ADl;USMFCGSQl&Fcbprjg=0C cTTr&lADCT_;SIkDAF3_CNgie;_&HmghSEg=_;ADH?iSAg >F3AFeF?icHRScADSQ?;r;xFXAHdbEbQg=@Ag=kD;g=?=_&FDAD: ?6)Ixr&ADFM?il;cFADA?i=SIFeSQr;q;FbEHRccAF?=ie;g=_;l;kmbQFCGUmgBeRFdAP$: UHReRgiJ P
xq&AADbEbEg=AD@A U;bE?=FF_F SQJ I(FFbQbMbEFgBA_&CWSQcr;AFWFq&bQbFASQJ brFAbEAUF__&FcSESQF,r;Fb@F,q&giADx_ bEAAD?=> l;UFgBFCIHDSQFA,JpbDSQq6r;6HDF$Fg=_acxASQAFl&bEbNCQg=F$@A SEH;AD?ibQA$Fdb:IAx]`PRA_bECMg=@ASQADr;;bQF,F?iEF ADcHAD?gI?i: FdA:~SQPR H SQCr;6q&FX1 Ad-AdCQ5Fe;CQ6FeRe7SQbEr;F2FCEP(C CGHDF3bEcJFHdJ SQF_&r;b^eF 
FA_bEbcAFIPDgi:Y_y] >wJ :SEr;NOFmr&cAASp?= g=FC e Adcq&SEbQl&HRAc?=F3ieRPXl;q&bEl&F,CGl&r&CQFFeCwHDSE_ar;SQg=HwCYSQqr&AFbACTSUADFLc SE=XFgBbwCSQSQHjr;FCTSEAdHDe;bEeRFbECQFHDCECUHDFJ&SEr;SEr;g=_;Fk cr&g=_aASQbH(ADcSQSQr;FFb
FNcr&_FYADcFCQbEr&AdcADFSQ?iFZS @bwCQFFADFdFbQ:_*bAcP@A6?=gh]S 2eRP H2 xF3ACw?=l;UFMHRADeR_&giJ e PjcSQAr;?=Fm] 2ADP bQbbEAFP*J Fg=bQ_F_&SQcr;FFgBcC AD?i=l&gi_&ghSEk*FWq;g=UbEHRqcHdF3bGeRSl;AbE_aFDS : J Hd)Ibr;KFLNeRD> g6RFADb^C
gSQ=_Hw>wSQ,wr&:FI_;] SFYCGSEg=HCAdSQLc cr&=$ADF?i2b=FPYq&e SQADdr;bE#;FAD}5Uc} ADF ?iSQ= FF_bbNDqADADC{ CEg=CG_g=R_;ckA12?=U%]32F3&c-P r& 1 xA:A_&?=]g=l;CQSU@F cHdADA_&_&?BCQCQeg=H$CGSESEFCr;o2FHgB_J;CGSEr&cCCAHd;x2q;Ag=g=?i_;FSQkIer;HdSQr;l;ADFNkDLc r(=XxAghASbEJ g=SE@AgBFCI;b~_;?=FSQHDr&cSIFNHDlq&cCGAgiF3F3?=Mee 
HCEAxDUFbFmbE4F giSGSQFg=c_;SkMADSQC,r;FcAc?=AW?=2iFP b  bEC~FHDJ FbEgibQkdFgi_&_cA-F ?2Gx;Al;?=l;S,FDgi:_ CG_&Hde;UFFyb UCQgiSQHdl&CGSASQcg=HdHD_&_&eRCC pgiSQCGg=HDl&_&cCCr|SEAdr;CXg=CSQr&ADF cr;CQg=ADFUxdFFyCSQq&r;FA F 
beRAg6UFFbQSEFF_a$b S: 6Fg=_;k q;bEFCQF_aSXU,l;?iSQg=q;?=FmSQg=UFC,gi_ SEr;Fyq&ADbEADUFSQFbW?=gBCT_S SEr;FyCQFUmA_aSQgBcC,AbEF
)Ir;FeRFcg=CQgiHd_$HDJ r&g=crq&AbAUFSQFb~q&AdCQCQg=_;kwUF3cr&A_;gBCQU SQHYl&CQFg=C~_&HDbEUAD?i=PXUmADeRF
u






Local
variables
for main

SP

Local
variables
for main

Local
variables
for main

SP

bytes
buf
fd
Return
address
reads
local
variables

SP

;qbEgikdHRl;cFbEe;FWl;[RbQ:=FW<@# gBCH5A ADI cSQ)Ig=xDr&FDFW:!CGHSEcCAdI cL=E)Ir;6FFJ CGHdSEbQAdFMcLSQ=yr;AFYJ SQcFADb?i6SQSEr&HRFX6bQ1 F@SQ5lR:%SE_*H  SEIKH)ISQr;r;FFYCGcSEAAD?=icLF=Eb r;g=?iFwSQr&FWcA?=iF3e
2PmSQ)Ir&r;FXF?=ADgBeR_;FkDA&l&ADkDFFYr;gieR_FeyCQg=KkD_;LNF>bECIgBCA_SEHe*UmgBCAA$=dFMf;oRAXFbEe(FUq;bEHHDSEq6FFq;bQbESTH2PmcHFJeRl&SQr;bQFMFXc?BAA_&?=kDAXl&ADU$kDl&FDc: ryADC qHaCQCQgA;?iF
?=g=g_;=dkyF*q;A bEHR?=HRcFce;AD?@l;bQHdF$_;FDCGr;: Hdl;]`_?BejHD_;SQr;HUSF.b 6NF$HD"A bIe;ACC bEOFY@SQVF rANbADSE_dr;SF$KcALN?=>iF3ejSQ7H q;bE6H2F*cFSQeRbl&AbQ_&FCQq&gBCAbEFFoR_aFS cl;YSQSEg=_;r;kyF(HDc_A?=]A 
eRe;gA6SEFAjbQFJ bE_aHDSU UAjAdcf&r;?=g=FD_; : F@)IHdr;bXF x2q;g=cbQFHdkDxdbFAbUCQA&U:yF2bXl;q;q;l;q6SEHdCCQFA SQcr&ADA?iS,SQA(H q;6bQ1 Hd-kD5 bAgiU _ SE_;r;FF*Fe;cCWHReRSEHFmSQbQHF3ADkDe FSCGHdSQUr;FF
Jq;e;bEbEAHDHRSEU A;cF:mSEe;r;]`l;_|FbQ-F ?=A*g;l&SQbbACQADl&bEe;P Agh?=SE2gi7P PXHd_&SEr;AbE%?FghSQH?=SQgiCGF_g=__;=dkDFg=?=b _|4F ADq;AD_&bECEeHRCGFcgi&U_&FCECQ;FCQ?=HDbQP SQ(b F3I?BeACQ_;P2gi_akdCGSQSQl&HWFAU SEkdr;@F F SQSEr&H@r& F ATTSF61cq;@S l;5q&SEbQbECYHdHDkDSElRr;bSEAFygi_;Ujq&F:ADgBbE] CXSADUFgBCo2FSEAXSQbEFAdCGbEr&cCWSQHDF3g=bQ_e S
bEFkDgBn CGSQxDFFb_CISQAr;_&Hde l;SQkDr&r7F_j61 @g=CE5CQl;gBCQFCQCl;AF3C@KA&n@=DMFvbE_;FCQ?;PRSQCTbSEAFUqGdgicS@AgB?=SC@2cPmA?=iSQF3bemAq;g=_yq&giSQ_;r&kFMSEl&HCQSQl&r;A$F ? I=dFAbEP@_;@F2? P: q;l&CQr+
g=eR_;H2kjFCISQr;_&FmH%S q=2A_;bAFH UOFSESEr&FAbCYS HD61_a-SQ5H(gBSQCr&FAdcCTSQSlADALc ?==0iP Ade;CHDg=CQ_;r;kmFH CGHd_ UFSQg=k&r;:jg=_;k[R:=f<DR:CQr2)IPD: r2l&CYSEr;Fyq;bEHDkdbEADUUFb
bExDFFUbECQKHg=HDLNSE_F >q;HbEOJADHRc6cr;1 F@g=Fe;5Fxdl;RFbQcCF Agi?=HSEiFdC~F3:ekSEbE: A ADHd_&d_;CG}5qF 1aASEbEr&XFA_&OS%cP gigi ?=_m2abQADgBl&Cp__,q;ADHDlR_&_,S A?=g=SQHD_ar;kdSQF@HXHDf&l&SE?=Cr;FNFICQF?=Ag bEPD&xD: bEFADNOb bQ CPdr;: UmF)I_`ADr;c6r&F1 gi-J_;l&5,"F _&I(gBcCDSEAwAdgiHdceR_mSQg l6HAFJ?=bQiSQFP,r;_dAFS
SQHcr&?=J g FMF_aCGg=SwFk&bQ:XCGxdSQF[Rlb := <DCG:WSQgBCl SE?BHy
:CGH*gSA?i=dAg=D=DFFXF,SQgir&SQSEr;CwFFq&HDADHDbEgibEbEkdADgikdgiU_gi_AFA?;SQ?FHdbE_;HdCC@F_;;d@F q&ghS@AdgicLSwSQ= H2SEBH H2SEdr;BH g=FC@U SQcbAAg=?=_dq&FSECMHeSQl&HAmCQUSQgi_&r;FkXEF CECESQ=DAr;FkDFwbQF-_;cFA?AD?=$: _&gi_;e,wk$_;CGFCG?=P(F_&ejl&l&_;giFSM?i_&Ag =DSQcHFF
SQSQr&HjFXkdHDgixdbEF$gikdgigiS,_&ADe;? AHDS_;A;F-:;]`gi_&SwCGeRSQF3H2ADFSeC_&giHSSq&q;AdlRLc SM=2CwSQr;SEFr;FmqAq&bAAbUAUFSEFFSQbFCIbCwgi_jgi_abESQFHkDgBCGA(SQFUbCFCEACQ_ADe(kDFAdC^A=y_&e SQr;ADF C =R=dCWFbESQ_;r;FF ?
=DcADFbQ?i~_&SEFH*?RSE/2H14CG30F5F_&eSEr;SQr;FyFMcU?=g FF3_aCQS,CEACTkdSEFIl|SQHXcSEADr;?iBFMCYCQbQFF3bEcxDFFgib xdF@ADCp;g=?i?==HRl&cLCG=2SQbgi_;AkjSEFgieSECQg=F_y?iJNl&g=k&_d:pSEgi[R? :\[RSQr;:~Fy;HdbEF?i=q&FH ?iPg=_;cHDkYUSQr;FFC
&AdLc NO=6: r;F_(SQr&FXUF3CQCEAkdFXAbEbQg=xDF3C@ASSQr;FCQFbExDFCb aSQr&$F =DFbE_;F? q&ADCECGF3CNghSl;qjSEHmA %31a 1a

(a)

(b)

(c)

Server machine(Callee)

Client machine(Caller)
Client
Call

Server stub

Client stub
Pack parameters

Unpack parameters

Server
Call
Server

Client
Return

Unpack result

Pack result

Return

Communicating module

Communicating module

 g=kDl;bEF[R:\[+# )Ir;FXCTSEbQlcSQl&bQFXHDJA_jKLI>
%cAD?i=F e SQr61LA9LSw14: gB<FC%1y6ADHD_&l&e _&e`6Fgi;SQ?=rjH2cLSQ=dr&FF$e7ADNcSQADl&ghSEADgi?_;CQk*FbEJ xDHDFbYbg=: _&)cHdP2Uq;gBgic_;ADk(?i=UP*FSQCEr;CQF,ADkDCQFF3bECxD:&F)IbMr&CGSQFlCQ FbExDg=F? bWr&CGSQAlBxd F
l;g=_|_;qSQr;ADcLF*=Rl&CCQSEl&r;AF?Kq&NAAbP AUH g F: FDSEFA:  bCADCJ bEHDg=_ U SEg=r;k&F$: U[R:=F3_< CQICE:Akd;F$bEHDAU_eSQSQr;r&F(F_CGFcbQAxd?=FbCw CSEr;qFHdgiCQ_aFS$bExDHDFJbMx2q;gibECF HR$cpF3eRghSl;bEg=FC
ADADCwe&eRSEbQr;F3HDCQl;C kdArbEFMgiSXA?=g=C Hd6_Fg=SQ_;r;kFYcCGSEAAD?= Lc F=Eee;r;giFFbEbQcFSQ?=SEP`r;FaP P 6SQFr;?=HDFm_;ck?=g FA_a_&SDeI_&SEHr;SQr&Fgi_;q&kAbCGAFUFUmFSEC Fbl&Cw_alAD_&CGl&eADbQ?:FSQ)Il;r;bE_ F
ICQFAbEPDxDNO:FbXr;q6F_FbQSQJ r&HDbEFUmCGFCbQxdgiSEF.C bp@CTSEHdl b = kDAF_&SECpe cSEHdr;_aF SQbEbEHDFJ? SE&l;ADbE_&Lc =$CXASEr;J SQF FbpbEFSQr&CQl;F?iScASQ?=HRr&SEAdr;e$F*ccHDAU?=iFq;b,?=Fg=SQ_|F3Se SQDr&giFyS q&l&AdCQl&Lc =2AC ?
SQgiSIr&FkdH2bEFFCQCKl;&?hSADcLH =SEr;SEF H&SQ+l r;6FWFSQLb HdIq*g=_,HDAJgiUSECIFCEHFCEAkD_*F@?iH2A_&HDq*ecSQHA?=cC AD?i/2143068185W9L12SQ:Hw<"12bQFSQIl;AbE_giSQg=gi_;Sk$SEHJ HDSEbNr;F@SQr;cFY?ig=F_;_aFSo2O: SI)IUr;F3FCZ_ 
CEAkDFdNO: r;F_*SQr;FYUFCECEAkDFwkDFSEC &AdLc =$SEHSQr;FXc?=g F_aSUAdcr;g=_;@F aSQr&F =dFbE_;F? CQFF3C SEr&ASgiSg=C
ADeRe&H2eRFCbQF3_;CQHCQFKS em=2_;SQHFH  SQr;SQFXr&Ac?iLS g=IF: _aSI)Iq;r;bQFwHRUcFFCECEC CQADH SQkDHFSQgBC@r&FYcHDCGq;SQlBg=F eq&SEADHbGSQSr&HUF JISQr&AAgiSQSIg=_;q&k bQHR;c+l F3CQCCFJbN;AlR_&SIemSQSQr&r;F FW=dcF?=bEgiF_;_dFS ?
q;bEFbESQHRl&cbQF_&CECC@gil;_J_ SE;r;?iHRFLc l&=dCQFl&e A: ? )INr;AFXPd:Gc?=NOg F_ar;SIF_CGSQSQBl r;*FWl;c_&AD?iq&=FADbpLc =RkdC@FSESQC@r;FYcHdbE_dFSECQbQl;Hd?i?2CS ;J HDc?=HdiHFq;g=Fg=C@_;kYSQH$SEr;SQr;FMFXcADc?iA&?=iSQFH Cb R61A-_5Fe 
bEAF?=&UgiSHSE?==2F_;?=SQPyFHr;FXgi_C eRCTg=FSEC SEFAADSQr&g=e*?BACIHS@HOJ giJSE2CNUPme;F3SQACQr&CESFXAAkd?iAHRFMbEcFq&ADAdS?ACQx=DCQAFgi_&g=bQ? _;k@A F;AD??=:bQFDFw:r;] S@g=e&r&eRAdFC __;A"HIgBAeRP$F3AXg=_ SQrSEAr;S FYSESZr;NUF H$N?=gHD&8b bE=&ADIbQPADCq;bEeRHRHDc_;F4F 
g=eR_*l;bESE)FbECCAdHmFeRTTCQgil&SQl;g=CGUHDSw_&UAdADCIAD?6bQ?=SQAggAr;;>F$F-bEAD;eRbQAFg=FSbQCAF: g=U? CHDHDSQFYJ ADq;cbESEHRl&cAF?=e;Pl;bQUmFXAc=2Ag=?=_;kmH2cCGcPRl;CGbSQCIFU g=_ cSEADr;?iFYSQJ HDbA?=iq&HFCg=AD_;bQkmFYr;CGSQgBFe;qeRC2F# _ "A NAP
<d: )Ir&Fc?=giF_dSq&bQHRcF3eRl;bEFWcA?= CNSEr;Fc?=g F_aSMCTSEl jgi_(SEr;FX_;HDbEUmA0? IAP
[;: )Ir&Fc?=giF_dSMCGSQBl  &l;gi?Be;CAUFCECEAkDFYA_eySEbEADq&CNSQHSEr;$F =DFbQ_;F?
9&: )Ir&$F =DFbE_;F?CGF_&e;CNSQr&FXUF3CQCEAkdFMSEHSQr;FXbEFUHDSQF =DFbQ_;F?
u: )Ir&FXbQFUHDSQF =DFbQ_&F? kDg=xDF3C@SQr;FXUFCECEAkDFwSQHSEr;FCQFbExDFbICGSQl 
;: )Ir&FCGFbQxdFbCTSEl jl;_;q&AdLc =RC SEr;FXq&ADbEADUFSQFbECIA_e(cA?= CNSEr;FCQFbExDFb

Message transport
over the network

&: )Ir&FCGFbQxdFbeRH2FCNSEr;F$@Hdb=yAD_&e(bQFSQl;bE_&C@SQr&FXbQF3CGl;?iSSQHSEr;FCTSEl
: )Ir&FCGFbQxdFbCTSEl jq&ADLc =RCNgiSgi_AUFCECQADkDFYA_&e*SQbAqCNSQHSQr;$F =dFbE_;F?
Z&: )Ir&FXbQFUHDSQF =DFbQ_&F?CQF_&e;CNSEr;FXUFCECQADkDFwSQHSEr;Fc?=giF_aS  C =DFbE_;F?
t&: )Ir&Fc?=giF_dS  C =dFbE_;F? kdgixdFCNSEr;FXUFCECQADkDFwSQHSQr;Fc?ig=F_aSMCGSQl 
<&K: )Ir&FCTSEl jl;_;q&AdLc =2CNSEr;FXbEFCQl;?hSAD_&e bEFSEl;bE_&CNSQHSEr;Fc?=giF_aS
SQ)ICQH$Fr;bESQxDFNr&F_;FWb F6cS~?iF4Fg=Fg=_;_aFkmScSCTA"SENHDl JADyAbQFW?=SEdHHSQr;JA$F3SQ?=CGr;H2FIFXcCTAg=SE_a? FSQcq&FADCbQ?iU6gBCSEFSQH,e;Hwg=SEAcr;SQHDFWFX_2CQxDCTFSEFbEFbGxDq&SFCSQb@:r;q&FNbQ?=HRH2ccF3AeR?2l;cbEADUF ?i 2giPYSQr;SQr;HdlRFISc?=FgigiFSQ_ar;SFq;bbEcHR?=gicFF3_deRSIl;HDbEFb


 



V  Y  V



 !#"

)Ir;F[ PmAJ5_2AP,?=Kg=_dLISEH>sSZCQ@PRHmCTSEcF?BUmADCEC~CQFr&CCA# xdFK6FF_ ;l;g=?hS@CQg=_&cFADq;qF3AbEFe,SQr;Fq&bQH-;?iFU A6HDl;S KLN>w:

\ ]`q&_7bQHdSEkDr;bFAUf&UbCGgiS _;kc?BAD?BACE_;C2@kdl&SQAr;kdFF@KaSQLNr&>ASUgi_Fcc?=l&r&eRAD_;FCg=CQAU _;gBHDCySEAg=_aSQg=SQHDF_(bEkDJ bHDAbSEFeRe Ff&_;ghg=SE_;rOkAgi_aSEq&FAbQbQJ5ADSQgBccF3l;C?B: Ab
\ ]`H5_sr;FSQbEr;FwF(AD_&CGF3emcHDAJ_SEe|Fb@c]T?BvADCEC2Ipp gBA C CQl&qCQF3FcegBASE?H, q&eRl;F3bQCQq6cbQHdgACQF FSQr;3Fw1dgi _a SQ#;FdbG1J5Adc/*F3CX1%6$~FSZNFF'_y& c?i#;g=F_a4SC #;A46_e1

QC FbExDFbEC:
?B)IAl;r;_;g=FwkdbQFl&f&UAbkdCTFSFX_aSEcgiC_a?BADSQHDCEFJC kDbQbg=F_&AUSEcgi?iHHdl&SQ_je;FMFSQq;Cr&bQA>@HRSwFceRFgiSWeRP2l;b_ADRbEcFr&C gibEFckDxDAl&F_RCNCMAr&FW_&ADe*CeRFSQr;ADbM?hFTTSKl;AD_&eRghAxSErADq;_dbE2SHDP$AkdkdbE?BFXAAD_;USQkdr&Ul&AASMg=_;kdSEkFr;c?BF,AHd_;q&_&kdADCTl&SEbGbQSEAlg=kdccl;FSEC?BC@A: bMCG)IlbEr;cF4r F 
ADCIF)Io;r;cFFWq;CQSQFg=cHDHD_&_&Ce: c?BADCEC g=_&c?=l&eRF3C2l;_*KMLND> 2HDV_ r;g=crySQr;F2l;_(FZS @Hdb =mgi?=FX2PRCTSEFU
gBgBCCw_&&HADSYCQFSQe g=F: e)ISQr;HFmA*CQFq&q&AADbQbESQAgBcSQl;F?BAgi_abWSQF?BAbG_;J5Adkdcl&FA?=kdADF,_;kDF_2lx2Ag=kDbQFHd_;AUq&q;FbQ_aHaCS ADcADr ?hSErr;ADHDCWl;kdSQrr&Fyg=_ADeRq&xbEAAd_acSQSgBAckD-F F,SQAr&?=UASHdCGghSS
gBg=A_dC&?=SENFFbQFRo;J5ADAcUFYbEq;ghSEe;?=FyFFCIf&SZ_;NHDgiJHSQSEg=HDr;c_(H2g=Ce;f&ADF?=q;CCF ~q;H5bESQCQHdr;FAdF*$F c6f&r FbA?=CTFH SbEUFwAIlbE: FCGF3ec?=gig=F_(_aSAyA>O_eq;bQCQHdFkDbEbxDAFUb$UcHRgi_&eRkF@ F_2AD_&x2gie|bEHDSE_&r;UF*FCQ_aFSc: HD_&)Iesr&Ag=SC

)(

* +,!-./01324156+478.7 +9

:+<;=<;

;SQq rbEHAx2S g=U$_jeRF3l&Ke CTLNS a>PFWg=Ay_aeRSQCQFFFf&bGbE_&J5xDAdFFcebFwg=SQe;_&rFcAf&?=SWl&_;eRADgiSQFMbQg=F,HDSQr;_jxaFgBCQCQ_qg;AF3?=cUFXgif&FSEFCHyC@HSQSQJr&r&SQF$Hdr;CQCQFwFWFq;bEcxDbEr&FH2ADb cbE FCAdeRccl&SE?=bQFgiFF3bE_ag=CpCGSESQACgB_&:UceC )IHSEr;r;JF,FSEr;cSTr&FWP2ADq6q;bEFbQAdCHRccHDSEFFJeRbSQCTl;r;SEbEFg=FcgibCC

q&cAdADCGbEF3ADCOUFHDSQSQFr bECD:SQHXn@FAD_&crmA;q&?=FIADbESQADr&UFFKSQFLNb@>CQr;CGHDPRl;CGSQ?BemFU A?BSQCQHXH&gB6eRFwF_deRSEFghf&J P._;Fe*r;ADgBcC rgi_;xq&AD?ilRl;SCF32C HDCQl;r;SQHDq;l;lR?BSIeEHDb@Fgi_(qADCGcLHd=DUF3e F
g=_dSEHSQr;FXbEF l;F3CTSA_e bEFq;?=P UF3CQCEAkdFC:

SQSQHdFbGkDJ5FAdSQc_|r;FYFg=b$c_dHdSEUFghbQSEq&J5rADgi?=cFSQFybr;CIcFCGHDr;ST_aP2HdSq6l;AFg=?B_&eCCX6HDAJ@FYSE?=e;gr;CGFFSCQg=gibkdH_;Jg=_;Fq;q;e bElRHRSQScHFAq;e;_&bEl;eH2bQcFHDFl;CE/(CN:SQ@q;gi3 _alRSQSF+bGAJ56bEAd14kDc/ l;F3UC JSQFHdr_abIASCS,l&:RCGgBFC2)Ir&SQgiHDr&SQl;Frjg=kdbeRr g_&6ADAF_ UbQFg=F3_d_+C2S 

?B_;AgB_;cAkdSQl&F Akd2FPyCpl&FCQ_&giA_;;km?=gbE_;Fk$UcHD?iSQg=FFY_aq;SEbECNH2Ac_FeeRl&CQbQFFYbExDcFADb?iCBC: bEghSQSQF_ g=_ eRg6FbQF_dSI?BA_;kdl&AkdFC~SEHcHDUU,l+



01.7 +<:+<2

8

 

7 +<;

QbEC FFUbExDHF_2SEb_FNDPyq&q&bEbQbQFH-HRU&cAF3HeR;SEFwl;?=P bEq;FNbEHRcF3Acc?=F3ADeRl&C~l;CGU$FMbEFWl&SQr;CGcSXFYA?=CQFFUbEA@xDA;FP?ib@FNJ5r&SEADADHXgi?SC bQ6J5FAFqg=cHd? AFbGl&eySpCQFHdFYbEb bEghSHDgBC@bUmSQSTH2PaAH&Pmq6F;_;C lHDCGCGS l&P6cSErFH,ADAbEC&F?iSEq;Fwgi?=UPDSQHm: F2 )IcHdHdr;lR_aFSESEC~bQADFSEcJ r&HDSIAbEAFS
FAeRoRbEgBCQFF3ccHeRlRxDl;SEFgiF_;bQF3kjSQe HSE2r;eRP FgBCGSQq;q&bEbEbQgHR;HRcl;cFF3SQe;eRg=HDl;l;_ bQbEF3FDADC: C: )INr;FF?= CEADACwUSQFyr;HaUCGFFcSEr&r&ADA_;SgBCGbEU F?BAUSEF$ASEP?Hjq;F*bQH-l&;CQ?=FFeUmSQCWH FbE_&Fcq6HDHDl;bQ_aSSQFFbEbEebEHDg=b_ C
9AL1_F)IM: o;r;c3FmF/q;FSQAo;g=_&HDcF_e qRgBSQSQCr;g=HDFb_ giAb gBr&CG F3ADeF_&3 eRA5?=_&gi _;: e(3 kjSEr;UF$F6 _cAD9Lrq;18Aq;5 _;bE+gBHD6CGq;14U /bE&:g=AcNOSQHDFY_r;CGr&gBFADCT_ SX_&eRAHD?=_J@gi_;ZS Fk*NbEbQHjq;HdbEq&bMH2AcHRbQFcSEeRcCC l&l; bQbESQFXCwr&gB`Fg=CM_6 ADA*FlR: SQ/(q;Hd: bQ3 UHRcAFSQeR VgBcl;AD1bE
?i@F P 
FoRF3c[ lRASEF_2e*PgiK_(LISQr&> FCQcPRACT?=SEFFb Um CICyFAD_abQx2Fg=bQHdeR_;F3CGUg=kDF_;_aF3Se: J HDbyl&CQ`F giSQrOFoRgBCTSEgi_&k|q;bQHdkDbAUUgi_&k?BA+_ 
kDFo;lcAFkDqRF3SECmgiHdSE_r&Ar&SjAD_&r&eRAxD?=giF_;k _;HUFFco;r&cADF_;q;gBSQCGg=UHD_  r&KADLI_&>
eR?=giCQ_&P2k CGSQUFUmFcC,rkdAF_;_;gBCGFUmbEADC?i=:
P ]`bQ_OF3CGHdSQr;bGS$F|SQA@H&SQCGr;F_&FjcUFFHSEJ,r;HRAD_e
Jl&A l;6CQ_&FHDecl;SQSg=giHD_ SE_&r;MCFIeRMSTFP2] ?iqg=xDFIFAHb_&JAUeF@bEbQHFHdSE?ir;bWFgB=2C~bX_;bQcHFFHdq_2_HdxDbGFAMSE_aFxSEe,AgiHd?=gil;__&F AAM?SExHMHDADq6g=bQ_&FgBeRAbAgB;cSE?=AFNgi_;SEgiF kj_$J5CQADSQP2r;gi?=CGFIl;SQbEFFF@_aUmx2A2C g=_bQeXHdg=?__;J l;UbQFSQr&r;_ag=S~FcbrHg=J&_RSQSEr;J r;HdFmFbQUmCQcPRADACT?iSESE=gigiFHd_&U _k
JSQq;HDr&bEbFWHDkdFbEbEbQFADbEq&HDU(?ibPmCI:U]`eR_ml;FFYCESQCEr;SEAFWHkDcFMJ5AdAJ CGg=bQ?iFHdl;UHDbEFYJ SQADSQr&_HyFYKcCQHDFLIUbED> xDU,Fdbl&AY:~_;bE;g=Fcl&SQAl&bGSESEbQF r;_mFxbIgiASQg=?=r(_Rl;J FwHDSEr;bEgiUmF,_&e;ACQg=FSQcbEg=AHDxDSQ_jFg=b_;A k,AD6_&ADHDe(_ml;S@FFbESEbEbQr;bQHdHdFWbEbpCNSTg=PaC bEq6Fl&q6FYCQHDFHbQe JSQFF6e*bEHbQSEHdg=_r b
SQgBCr&FCTSEeRHDg=bECEFADe e;xg=_AD_aAjSEAkdkd?iFM-H &SEr&AA? SxADgiSbQgBbEA F &?il;Fg=bQg=_F3C SQSEr;r;FyFcc?iADg=F?i=_aFS,bNq;SEHbEHDSQkdFbECGADSUjFxd: F)IbEPmr;bQHDFl;SQkdl;r bE_(SQr;xgBADC?il&UFD:FSEr;HRe r&ADC

  







#
7-! ;=<-.:+ 

)IA_ar;SEFFFUmCADADgibQ_F-# cr&HDgBcFCSQHyq;bEHx2g=e;FAyeRFAD?G6FSZNFF_c?=giF_aSwA_&eCQFbExDFbHJ eRF?ig=xDFbQP(kDlAb

 1 W6 &61  B1(/ 1(/L/ 1-#  r;FSEr;Fb@SQH$bQFSQbA_&CQUghS SQr;FWbQF l;FCGS@UFCECEAkDFMl;_aSQg=?FghSEr;Fb
AbEFq;?=P gBCIbEFcFgixdFe*HDbNSQr&FCGFbQxdFbIg=CAdCQCQl;UFe SQHmrAxDFwJ5Ag=?iF3e
  :;9 1  146(: 3 #  r&F_ bEFSEbEAD_&CQUgBCECGg=HD_&C AbEFl&CQFeSJ r;FSQr;Fb SEHf&?iSQFbNHdlRSNe;l;q;?=g]
cASEFCASSEr;FCQFbExDFb
 1 W6 F3B/ .: /L/(: F3 61  :;14/@#G r&FSQr&Fb SEH%D= FFqXAr;gBCTSEHDbEPMHDJabEFq;?=PWUF3CQCEAkdFC6SEHF_&A@; ?iF
?=HdCGS bEFq;?=g FC~SEH FMbQFSQbA_&CQUghSQSQFeEgiSQr;HdlRS@bEF4 FoRF3clRSEgi_;kWSEr;FMCQFbExDFbpHdqFbEASQg=HD_&C
bE)IFr;?=g FIA@;cHdgi?=U&giSTP; g=H_&J6AbQSEFgiHdU_&HDCSQHFIJ;q;SEbEr;HRFcCQFFe;cl;r;bQHDFgBccF3AC?= ?iCpF3AdADCpe;CCGFSQFHY_EAwaxPADSQbQr;g=FFSTPXcAHD?=JiFq6bHd:OCE)ICGgAr;; F?=FNcCQr;FHDUmgBcADF3_dC~SEHg=cJ6Cgi_aJ HDSQFbbQSQF3r;CTFS
 



 



 

 

Delivery guarantess
Duplicate filtering Reexecute procedure
or retrnasmit reply

Retry request
message

No

Not applicable

Not applicable

RPC call
semantics
Maybe

Yes

No

Reexecute
procedure

Atleastonce

Yes

Yes

Retransmit
reply

Atmostonce

 gikdl;bQFX9&:i<-#O)Ir&FKLN>NCCQFUmA_aSEg=cC
SQAr&bEFMFP CQr;q&HFbQHReR_ml&g=c_yFDSQ: r&)IFwr;FgikCQF:pUm9;:=A<@_a SEg=cghCNSEr*ADbQcFXHdbQAdbECNFCQJ HDq6?=HDiHF_&eRg=CC_;# kX_&ADUFC J HDb SEr;FYcA?=CQFUmAD_dSEg=cC SEr&AS
L_&1VHS 9  F OF/2_(1 bQF3Fc3 Fg=MxD:;94F3/@em#MAMJ SEH FbJ5ADAl;SE?hSWgiUSQF2Hd ?iHdFbElRADSI_&ADc_&F,eUSEF3r;ADFCQbEl;FWbEADFbQCFw:w_;] J HSEbQr;FFSQbEbQgiFF3q;C2a?iPjghSUgBC Fl&CECE_&AckDFF$bGSr&AADg=_ C
Hdbpr&SQFr&SQr&FFCGb@FbQSQxdr;FFb q&cbQbHRADcCQF3r;eRF3l;Se bEFSQr&r&FAd_C SQr&FFF_yq;bQFHRoRcFFceRl;l;SQbEFF e:] giJ?=&SE_&r;HFS bEr&F Axdl;KF F3CT6S FUF_mF3CQFCEoRAFkdc!F lRNSQF3Ade CpX: ?i,wHaCT_ S
SE)Ir;r&F g=C HD=2SQr;_;FFH b,r&_jADAD_&C eSzspgi#dS$ Um A1 P cr&A?=AxDCGF FU6FADF_a_sSQgBcFCCoR F6clRFcSQF3Aesl&CQAFX_ce ?=giFSQ_ar;SEF*CbQcFADq;_;?i_;P HDUSNSEFFCE?=CQADJ kDHDFmb?=CQHdl;CGbESF :
Adcr&cFFSQqRr&SFAb;?=bQFDF: UHDSQFyq&bQHRcF3eRl;bEFCXrAxDF 6FF_cAD?i=Fe Hdb,_;HDS: ] Sg=C$_;HSkDF_;FbA?=iP
P  1 SE"F/ bEgi _&Fk*3 9LHD1 J 9eRl; q; O?=/2g c1 ASEFC3 : W:;)I9(/-r;#wFKcFASQ?=biFAbw_&CQgBCwUFg=CExDCGFg=_aHDSQ_l&ADH?iJ =PjbEF Fgil;SQr;F3CTFSYbWUkdgiFxdCEFCQ_ADkDA FDC bQFq;gi?=SQP@r;HdHDlRbWSwFf?BCG]? F 
gBbECF g=_Rl;J F3HDCTbES$UUFe(F3CQSECEr&AkdAFmSSEg=C,r;F,bQFCQSQFbbEAxD_&FCQbIUgBCghSQq;SQF3bEFSe CQl;SQUr;F(Fe*CGFSQbQH xdFr&bXAxDUmFWAJ5PAg=?bEFFe c:@Fg=]`xD_jFycADAD_&CQe FC FoRFr;cFlR_jSQF*SQr;ghFS
U_&HHdS bQF,=2_;SQr&FH AD_ r;HDFH _& cFDUm:YADn _axdPsF_aSQSQg=l&UADF3?i=CP@ ghSmr&r;AdFC_SQr;FFF_7KcLIAD> ?i=Fg=e CW: cHd)IUr;q&gBC?iFg=SQCmFe cA?=SQir;F3Fe c#R?=gi FE_d}512S#;%g= ?i
SE66giFyHd_&DADC1 ccg=c_yFADqRA?iSE~?=@A ;CG;HDF?iUmJFdgiE: ASEC_a)ISQbQgBr&Fcg=UCCX:HDCQSQ] FJFUmAyq;AbECQ_aHRFSEcbEg=F3cxDeRFgBl;bMCXbEcFADADCCc _ cFSQr&SAFF;_yeR?=@FFACQSg= gkD?=sF_;AdF3SECT`er;SFHdbQ_&ghFSEcUr FHDcgBeRSQAFF?=&Uq;CGq6FbEHRUmHcSQAFF_ae;_aSQSwl;gBbQcHDF3Cpq6CYUmFAbAbEFA P F 
gBbEeRFFCQl;U?iSq6HH5CGSESEFA_aSECS F_aI g : FdH Fd:: kSEr;:~FSQr;FFWo2F3SEcbElRADSE_&giCTHdJ _FbIHHJ JCGl&UcHDr_&q;FbEPyHRgBcCIF3eR_;l;HbESIFgBCpeRbEFFUSEl;q6bQH_SQCpF_aASA? NHDAq6PRFCbASQSQr&g=FMHD_ CQADI:~U] F J
FADoR?i l&q&cbQlRHRSEcgiHdF3_eR:l;bEFCIAbEFWg=eRFUqHDSQF_a_S RSQr;F_ @FXeRH_;HSMAdcr;g=xDFYCGgBeRFY4F FcSECAJ SEFbgiSEC
P bEFF/q&?i g=FC3 9L1 giSQ9 r;Hd $lRSy/21 bE4F  F3 oRWF:;c9(lR/@SQ# g=_;k g=?hHDSEFq6bEFgib_&AkOSQg=HDH_JCe;: l;q;2?=Hdg UcAFjSQF3HdC qAF_bEAe SQg=HDbEF_&SECbEADc_&ADCG_ UrgBCQACQxDg=HDF(_ SQr;HDF J
bEHD_&kF4FcS@giJ SQr;FPADbQFq6FbQJ HDbEUFemUHdbQFISEr&A_yHd_&cFd:p;HDb@Fo;AUq;?=F@2A_mHdqFb^
 

 



 





<

igHDAS SQJ@g=NHDCQl&F_mbEcFNSEr H,SQ_;H g=_&Hd6_+cFbE FgBeRbEAdFFCGq6UFwFAq6ASQH&FSEADeF__aD=SwSEr;Hd&F%qA&?BFAbEAD_&A?=ADcSQg=_&FUHDc2_&FP
CCc2<HDKl;3LN?Be>NCGr&kDCwbEHDHFCGl;r; ?BHdeml;AHD_?Be`_&e?iPEkDFbEHFFWeRF3q6CGFg=)kDbQJ_;HHDF3bEAejU?=iHFSQF3H* emFHDSQoRr;_FFMccF l&lR2SQCGgiFF J

SESEr;r&FAg=Smb giHdJMqSEFr;bEF(ASQCQg=HDF_&bExDC~FFboRAde;cHaSEF3?iCP_;Hd_&HSmcFdc:bNADCQg=rbQbEFA?=_;e|A_SQer&FjMFc?B?iCGg=FHd_a_SkDbQl&F3ADcbEFADgixd_dFSEFC,FNSQgir;_ F(>@bQF3F3e;CGl&A?hb SKHLIJw> A
FHdco;Ab?=c_;MFHq;SQSSQr;g=AHDFSM__jAg=SQ?=CIr;: FybEF)Iq&q6r;bQHDHRgBbQ!C SQcF3F3=2e*eR_;l;FH ADbE_&F$_*e*rAdSQADr;C C$FX#R6q& FbQFzsHR_ c6F3FeR%oRl;FEbEc6DF l;SQFdg=e1 ? cFr&AoRA?=AdxDcFCQSEF?i6PUmFAHdF_a_j_&SQcgBcFdcA:VC?=iADF3,M_&e SQe*r;FFghg=SEbCIr;SEFgBr;bMCQFYF@HDHD_&AD_;c_ FF
lCGl&AD?i=P cr;HaCGF_*g=_KLN>OgiUq;?=FUF_dSASEgiHd_&C:

<D<


 


  
    w
 Y  V
)Ir;FXCQHJ SZIAbEFMSEr&ASMCQl;q;q6HDbQSECIbEFUHSEFYq;bQHRcFeRl;bEFXcAD?i=gi_&krADCNSQr&bQFFWUmADgi_(SEAdC^=RCC#
 3 146 -981 06 C9L14/L/L: 3 $# g=_aSQFkDbASQg=_;k(SQr&F KLN> UFcrA_;gBCGU  ghSErsc?=giF_aS,A_&e|CQFbExDFb
q&g=_;bQk HdkDADb_&AejUml;C _;g=_$qADccLHd=2_2gixD_&Fkm_aSEHgiJHd_&AAbEkD?l;q&UbQHdFkD_dbSACUg=_jUgiSQ_;r;kF,?BcA?i_&g=FkD_al&SYADkDAF_&Ce*:GSQI) r&r;F$gBCCQFgi_&bExDc?iFlbeRADF_&Ce(SQr&SQF r&F,q&AdeRcLgB=-CZ
qASEcr&gi_;kHDJbEF l;F3CTSUFCECQADkDF3C SEHSQr;FADq;q;bEHDq;bEg=ASQFWq;bEH2cFeRl&bQFYg=_ SEr;FCGFbQxdFb_#
 +3B:;9 W: F3  F3 5 : 3 w# SQbA_&CQUghSQSQg=_;kjA_&ebEFcFg=x2gi_;k bQF l&FCGSWA_ebQFq;?=P(UF3CZ
CEAkdFC
Q%: 3 5: 3 # ?=HRcASQg=_;kmA_jAq;bEHDq;bEgBASQFYCQFbExDFbNJ HdbA$qAbQSQgBcl;?BAbCQFbExagBcFd:




  





* +,#-./01 <

 -. 01#!7 +<;



FbEMFo2_ USQbg=HDAy_dSQSEFYCGFHDbQq;J J5SZbEADNH2ccADF,FbQeReRFl&FcfbQHDFX_;UghcSEq6ADgiHdHD?i=__;g _;FUmk&_d:SACVP)IHDr;6JF3F,SECGr;FXl&F$CQcFHdceU?ig=FAdq_aCMHdSY_;A AF_&_aADeSECCQg=CQCADFbQbEHdFYxD`_ Fg=b?i=l&q;r;CGbEgBSQHDcbrkDAbSESQAFH Ume*cCIgiHD_SE_&r&CGASQgiSwbEkl&: Fc_&9;SA@:=<DSQ;r;: ?iFF

q&NAD_&bQHDHRe*SQcryF3SQr;eRcFX?=l;g FbEq&FX_abQSNHRgi_ ADcF3_&ADeRem_jl;CGbEgiF_aFwbQSQxdgBFeRFbGFbJ5Ad_dAdcSECQghF fCQgiFHkdSQb_r;gBFSQCIP(r;giFW_ADcbQCQ?=FXADl&UeRl&FFMCQl&e(l;AD_;g=?i_j=g P bQl&_2F Fl;l&q;.U FbECGH2SIFcbQFUF3eReF3l&CQbQ CEFAkdgB-< eRF6FC[(_d: SE:=ghif:NFgib _SEHHdbEFe;AdFc(b r I
Q +: A;5Fl;: 3 g=?BeRgi_&Bk1 A9 d:;14c3 HDUq;6 ?=F@SE6F c?=g #jF_aS$_7q;bEKHDkdLNbE> ADU CGVPRCG2SQFP U q;bEHg=x2? Ng=eRq&g=_;bQHk x2A gBeR%F*A UF{A_C$d1 HD J
c?=g F_a1 Sq;SEHsbQHdCTkDSbAA_&Uje O: g=)I_7r;J FYHDbmq;l;F3bEADqcHar7CGFWbQFHUJ~HASQFjc?ig=q;FbE_aHRScCGF3SQeRl l;jbEFjq;bESQHRr&cAFSye;l;g=CybQFWcAgBCN?=iSQF3Hme caHdP_axdSQFr;bQFS
STSQAmP2r&?=qHdHRCQF3cFMC~AHF?oRJ6q;q6SQbEr;FH2FccSQFADFeRbQRe l&kdbQl;2FP$UcSEFAr;_a?=FMSEC~SQbEADH*FU_&Ame,HDbQSQbEFFMFUCQq&l;HbQ?iSQHRSEF,C~cF3g=q;_eRbQl;HRSQbEr;cFDFFO: eRc)Il;?ig=bEr;FF,_agBC ScAgBCTC@?=SElAdSQcHyr;U,g=SQFr;l&xDFF3CGSe CGFc2HdbQPxd_RFJ SQb3HDr;:KbEFwU )Il&r;SQCGHFF
HgBCNJSQAXHcq&HDADULc U=HDSEr;_Fgi_aASEbEFkDbQl&J5ADUcFFw_aeRSEFCIf&A_&_&gheSEgiHdSQ_H: q&)IAdCQr;C@FSESEr;AdFC^U =$HJghAXSEr c?=SEg r;F_aFXS@q;CGbESQH2lcmFeRq;l&bEHRbQFWcF3g=eRe;l;F+_bEF
SQSQgir&f&FXFbMbQFg=q;_d?iSEP HyUAmF3UCQCEFACEkdCQF@AD2kDl;-F ;_;CGqFAD_&cLe(=ySQgiSMr;F,A_&Ue(F3CQbECEFASEl;kdbQFY_*SQHSQr&SEFXr;F,bQF3CQCGFl;bE?ixDSECF:bAD_&e(SQr&F_ "A IAgiS
<3[



   



Q +: AA5F_: 3 eAmCG1UFSM/214H6(J <FCQ12F6 bExDF6 b@CG6 SQlB#~q;bQHR_mcFKeRLNl;>bEFCCQP2: CG)ISQFr&U F,eRFg=CQ?i;q&q&ASEbQHcr;x2FgBeRbFl&A CGF3C12SE%r;{~F#Rq;3bE3HRc1aF4 
q;q;eRl;bEbEHRHRbEccFMFFgBe;e;eRl;l;FbQbQ_dF3FmSEC$ghfgBCXADF_&bNSEHe|gi_ l;q&SQ_;Adr;qCQFwC$ADbQcLHDF=_l&SQSQr;Fr;F(CGFjS@AUAbEbEkDFkDl;CEl&CQUUADFkDF_aF_aSSESEC2H$C:*cCQFAI) ?=?=Fr&cSEF S@r;HDSF*AD_&CADFM= q;Hq;JHDbEJwSQHDr;q;A FWbEgBCGCGAFFSQbQbQFmxdxdFFCQb$b@FbECGCGx2SQSQg=lBlBc F
q;g=_*bEHRSEcr;FFe;cl;AdbQCGF-FYD AHD_Je&J5A g=? r;l;FbQFX_ADghS _(bEFFbQSEbEl;HDbQbN_C2bEFq6SEHXHDbQUmSLI(AR bg=CG_ar&SQADHy?aASQr;bEFFq;HdlR?=PySQq;Ul;FS CEACQbEADkDkDl;FdU: F_aSC!H HDb
g=c_;AD_*gh_RSEgigiHd6_a_jFWSEFc?=bQADHDJ5_;ADU.ckDFW; l&giADc_&kDHdFFdUe :pq& ]`gi_d?=giFSQSEbNrjFbQq;J5cADbE?=gH2cFFc_aFScCEHDCGAF3U_&C e*q;g=g=_aCG? SQFFFbbQbQCxdJ5FADAb cbEFYFwq&bQeRe;HdFFkDf&CQbgi_;kdAgi_;UmSQFg=HDC2e*_&SQCKHmgi SQq&r;bEbQghHdSQHRlRSQeRFSNl&_ Umcg=FA@_*a=cAHdg=_;_ Ukgiq6_aAHDSQ_2_&FPmbGFJ5_acAdSEr&cCIFWA_&SEeRr&kDFAFJ SC
SQSEHwAdC^SQ=Rr&CCF@# Fo2gBCGSQg=_;kWcHDUq;g=?iFbEC:M_,g=_aSQFbQJ5ADcFNcHDUq;g=?iFb_&HDbEUAD?i=PYqFbGJ HdbQUmCSQr&F J Hd?i=HF gi_&k
<d:
SEWFl;bE_;F Fg=b_sASESQF$r&A*F*cg=_a?=giSQFF_dbQSYJ5ADCTcSEFDl:  )Iq&bQr;HRF*cF3CGSQeRll; bEFXq;SQbEH(H2ccFHdeRbQl&bEFbQCQF3qC Hd_&g=e(?iKSQH*FjFAdccHdrUq;q;bQgi?=HRFceFeRAl;_&bEe|F,?=CQg gi_kd=D_&F3AFe 
giSQr(SEr;Fc?=giF_aSq;bQHdkDbAUj:
[;:
SEWFl;bE_;FFgib_(ASESEFr;FAmg=CG_dFSEbQFxdbQFJ5bADcCGFDSQ:l I) r&q&FbQHReRcFF3CQeRq&l;AbESFWcr;SQHFbcADHD_&bEbQe(F3CGSQq6r&HDF_&CGe FbQSQxdHmFbF3ADCGcSQrjl q;bEq;HRbEcHRFce;F3l;eRbQl;FXbEFCQC gikd _&g=AF?i
6FcHdUq;gi?=FejAD_&e ?=g _=DF3eVgiSQr(SEr;FCGFbQxdFbIq;bEHDkdbEADU(:
9&: kdwl;CGUFSQFr;_aFMSNADCQg=_&kDem_&AbESQFl;CQl;bEF?iSCpSTHDP2JqSQF3r;CXFq&SQbQH$HRckDF3FeR_;l;FbEbFAC~SEFMg=_ASQq;r;q&FwbQHdgi_aq;SEbQFgBAbQJ5SEADFcq&F AD cL=2g=r;_;g=k,cryAD_&e;emFf&l;_;_;FqSQADr;cLFM=2giAD_&b^k 
HdqFbEASQg=HD_&CIg=_(FADcrjCGSQlj q;bEHRcFe;l;bQFd:
u:
g=WF_aSQF_;bGFJ5bAdAcSEFYFeRq;FbQf&HR_&cghFSEeRgiHdl;_bE:FI) r;r;FAdFYeRq;g=_;bQHdkdkDCWbJAHdUbXUFADFcb r HDJq;SQbEr&HRFYcFCQe;Fl;bEbQx2Fg=cg=FM_ CQl;SQr;q;F q;?=CQgiF3FC@bEx2SQg=r;cFF,6J bEH2HDe;U giF3C@SQr;HDF J
SEr;FCQFXq;bEHRcFe;l;bQF3C:
JFI) HD_r;bCGFXl;SQr;bEl&FF CQCwFXc?iSEg=Hr&FJp_aAAmSSXq&SEcbQr;HdHdUFykDUbAAbEHdkDU _jl;ADUgi_&_aFSQew_dFSYSQbGr;J5STAdF P2cr&q6FXFFeRADCXFe;Af&gi_;__;kaegiSQCg=bEHDJ FHD_`CQbl; SQ?ir;SEr;CYF F_(q;l&bQCQkdHRFFe?c_;F2eRFbEPl;AbESQcFg=?iC_;g=Fg=k_Y_aSQSESQr;CXr&F$FcHDCTCGSE_RFlbQJ Hdxdj bQFUq;b bQq;HRSQbEcH(HDFkdeRSQbEr;l;ADHabEUmFCGFCC
eRFf&_;Fe(g=_ACQFbExDFb:


 



)(

" " =4+47 01 .7 ,+ <

 :+<2
7+<;

)ICQFr;bExDFjFSbADq;CbQ=HdkDHbJWAUmSQr&CFgBCcSEHdHwUeRU$F3l;A?@_;gBcgiASQSQrg=HDc_ HdUr&U$A_&l;e;_;?igBg=c_;Ak|SQg=UHD_$HR6eRFl;SZ?=NF FgiF_ _6SQr;HFSErU SQr;kdFF_;cF?ibEg=ADF?i_a=S*PU2ADPW_&e l&CQSQgi_;r;kF

q;AWcHdbEJ Hl;HDx2?BbEeg=U eRl&F3HCQejF@J giCQ6_ HD1 UJ BHDFN14bE/U_;F CW68SZ1NCQl;HD gh,b8S=RAcC; Hdq;?=UFbEHU,J HdSEl;H2bM_;c?=HDgBgic_B?0Aa= H SQFdg=g=_;:HDkkV_:: cI)HDghSE_;r;r_;FMF3ccc?=HDgSEFgiU_aHd_+SWU, ADl;Hd_&bQ_&g=e g=Fc_aACQSEFSQFbEg=HDe xD_F bwr&)Mq;AD>NbE_&HDLOeRkD3?=bgic_&AHDkUm_;UF3Cc:H2SEgie;Hdl;_&_;?ie?iFMF3CQg=ghSCC
 MvWL I4; HDbgBC & AdCGF3e*Hd_ SEr;FCQFYq;bEHSQHRcHD?BC  ghSEr(HF _(_;FC g=Uq&?iFUF_aSQFee;FSEADgi?BC:


8



 7+<2 7 +<;

CQF_|bExDg=F_abSQC FSEbGHwJ5AdbEcFF J FeRbFSQf&HY_;AwgiSQCQg=HDFbE_x2g=CQcq6FDF:cMgif&HFF3@C,FAjxDFSEbCFo2cSQ?=l&g FAD_a?@SCQbEFF bEx2l;g=cF3FmCTS~_&UAUFCEFmCQADJ kDHdF3b,Cl&U$CQl&F CT2SOP 6FIc?iAdg=Fe;_aeRSbEC,FCEACG_F3ee

<9

Call

Input

Output

name, version, address

Register

name, version, address

Unregister
Lookup

name, version

address

 gikdl;bQFYu:i<-#O)Ir&F &gi_&e;Fbg=_aSQFbQJ5ADcF
SQHmA!$CQFbExDF5bI4 q6HDUbQS_FH5AHD_bCXCQH2CGq6cL=dFFcS(ghJ IP2: g=_;kA*UmADq;q;g=_;k(J bQHdU A(_&AUFSQHA(q&AbQSQgBcl&?=ADbWH-+TTFcSC
SQl&gBeRH,CQFl&SQ_aAr;SQ?=FWgif&P$cFHdgBbCeRUFAWU$_aq6SEl;ghHDf&_;bQF3gBSce kdA2SQbQg=HdPmHDl;_yA,qgBcgBeRHDeRFUF_a_aSEU,SQghgif&l;f&F_&FbNbCg=cCQAq6HdSQFbpg=cHDAgi_mJ_2P2PYgBgieR_&HFkSQ_dr&SQSEFr&ghfbFwFJ HDb3CQFO:bEbEU )IxDFr&Hb DF J6qeR;HdFg=bG_&CGS SQeRg=g=_&H _;Ak$r;SEgiFHHdSQJ_ r;A,IGFbN CQFg=giCbES x2F6g=xcFYADF?iAXl&_&AqADSQHdUF3bGe FS
FeRAdFcqr F_&SQe;g=UC@F(HD_mASEr;c?=FwgiFF_a_2S,xaq;g=bEbEHDHD_;kDUbAFU _aS3:g=C,&bQHDl;bN_F : o;A)IUr;q;Fm?=@F J HDabEgi_(U A HDwJISQr;] F( cFHD_2Ux2giU$bEHDl;_;_;UgBcFA_dSE_SgiHdd_ giS g=eRFg=? _aSQ6gif&FwFA b
CQH2cL=dFS~]`AD_ e;eRAmbEFeRCEgBCCGSQcbEHDg ;_al;SEADSQFgi_&egi_;CQkMPRCTSQSEr;FFIU g=_aSQA FbE~_;5FSAD1de& eRbQg=CwF3CQAmCHCGFJ6q&AwAcbHDAUSEFXq;CGlRFSEbQFx2b~gBcAFY_&SQe$rAMASq6HDUmbQASg=_2_al;SEAU.g=_&CFbA :
SEF@Ao;;AD?=UFq&c?iHDF*_aSEHADJwgi_;A g=_;Mk*ADUUFjADq;2q;Fg=bE_;x2kdg=CMcFDJ bE: HDU)Ir;CQFjFbEvwxagBHDcUmF$A_&g=A_UMF3ADCMUSEH(F(CQCQFFbEbExDx2Fg=bMcFRq6HDbQr;SEgBCc:r Um&Agiq_&C$e;FeRbYHdUmg=CYAADg=__
_&ADUF3CI gi_a;SEgiH_eR]`_aFSEbjFbEgBC*_;Fg=SM_aSQAdFe;_&eReRbEFFe CECGF3SQC@H gBCF A_&l&HCQSQFr&e FbaFP o;ADCQUFbEq&xD?iFFdbE: CySQH U@A =DFSQr;Fgibjq6HDbQS(gBeRF_aSE]g 
f&CQr;FFHbEC=2_,_;g=HF__*g=kDSQl;HmbEFNq6Hu&SE:=F<D_a: SQ gBA1 ?:c/ ?ig=F14_a6SEADC_&:
e ST3BP2q;61 gB@c:AD/ ?S12;6gi_AeRbEFF b%g=_aNSQHDFl&_?=eRe*Fe,gi_SQcH ?=l&6eRFNFYlSQCGr&F3FX&e q;2bQPHRCQcFFbEeRxDl;FbEbFCC :
  g=Cg=_aSQF_&eRFe*SEEH 6FXl&CQFe 2P c?=g F_aSECISEH@H RSAg=_ SEr;FADe;e;bQF3CQCQFCNHJpCQFbExDFbC:
bSQEFF bQUl;NOFg=_&CGr;SQAFg=SE_;_7Fk(CC AghSXghCQSFSEbEHCQxDr;FHDb$l;1 @?Bq&e : bQ/ HRCQc12FF36y_&CQeCghSCA CGSECQUAFbQbEF3SExaCQCgBCEcAFFkdo2FF3_&cADSQlRHUSEgiFSQ_&r;kBADF  _&;gie Syg=_&CGCGeRFFbQF_&xdbYe;FbQCmbWF qAl&HdUFbGS3CGF3SQ:mCQg=_;CE] AJIk kdAjgiFySwCQSESEFHH bExDSEMFr;bW_;FbEq&F;bQkDgiHR_gBcCGeRF3SQFFCQbbC
giSECFNO_dSEr;bQFPy_ J bQAHdU c?=g SQFr;_aFXSUmq&bQADHRq;cq;F3g=CQ_;C$kdCTCS: AbQSECC pghSmCQF_&e;CAUF3CQCEAkdFmSQHSQr;F ;g=_&eRFbbEF l;F3CTSEgi_&k
giq;S,bEHDSQkdH bEAD U CGF_&e;CWSEr;AF*?=gBgieRSEFCM_dbQSEF ghfl&FbFCGHSMJUSQr&FCEF(CQADCQkDFFbExDCFSQbHyqSEHdr;bGgBSCwCQHFJwbExDAFb_&AqUHdbGF3SWesl;CG_aFSQbQg=x2?gBSEcr;FdF$?: CQ)IFbEr;xDF(FbIc?=J5giAFg=_d? SC
SQ_;HCF  bEFq;;?=g=@P_&ReRAg=_;S k&: r;gBcr q6HDg=_aS@SEr;FXc?=giF_dSIUmAPycHd_dSADcS SQr&F &gi_&e;FbA_&e*ASQSQFUqRSISEH$kdFSNA
cCQFr;bEF3xDLc)IF=r;bSQFIgBr&Cpq;AAl;S?ibESQSQqFr;bEHaFFCGe,P FIgiHA_mJ6bEFwCQSQl&r&lcFCGr$g=xD_;AFkbICQSQgir;AHdPYF_SQCE_2r&Al;UAU&S FW6cxD?=FgibFFbE_dgBCQCSgiOCHdSQHY_FgiHD?=_&RJA_;SQ;r&HY?=FF?=HDCGc_;HD?=gkdJ FZS F_aNOb S ADAbQFFd_&:@Ae;] CGJ?iFFNSQbQr;SExdHYFYFb~cq;HDq;bEUHDbEHDkdU,kdbEADbEl&ADU
_;Ug=cHCAJSQSEHAF
l;qgiSQe;rASEgiSCFmRghJ SHdCXbxDFFo;bEACQUg=HD_q;?=F@_2&l;bQ.U F l&FgibbEgiA_&_&ke ADc_j?ig=FFo2_aSQSbAmq;bEAHDbEkdkDbEl;ADUUFDC _dSIg=SE?iHyrAAq;xDbQFHRSQcH FeR6l;F bEF@;2bQSEHdr;l;FkD_raSXgiSMl;U$q l&SQCTH S
e;ASQ]FDJN: ?=HRcASEgiHd_+ gi_&e;Fq6F_&eRF_aSqHdbGSXgBeRF_aSQgif&FbECADbQFg=_ l&CGF-SEr;F_|CQFbExDFbCWUmAP FmbEF4
?=H2FHcNASEFFxde F_b ghgiSEJr;qHDHdl;bGS,S@g=gi_;eRFJ HD_abESQUgif&g=F_;bkjC g=SE_&r;cF ?il&;e;g=FM_&eRr;FHab$CTS@A_Ade;e eRcbE?iFg=CEFCG_aF3S2C CDSQAr;bEFmDF ;l;g=_&_&A eR6FF3bNcU,SQF3l*e CTKS 2PFwSQr&gi_RFyJ HdUbQUHxDF3FDe :
<u
 

 

 

QS6HyFXr;SQFkDr;_;g=xDF$FFxdHD_*F?BbIejSQr&A?iFXHRCQcFg=AeRbESQxDFg=F_aHDb SQ_ gigBf&CIADFbQbQbFXFHD?ig=HRJkDc_;SEAr;HdSQFYbQF3F3e _;eSF2AD& _&g=_ e CGFcbQ?ir;g=xdFgBF_acbIrSECNq6cHDfAdbQ_&CGSFe : SQHdr;lRFS P r;g=F? _*cSQHdr;_aFSEgiADbcbESF SQr&l;F&F3CT;SIg=_&UeRFFCEbwCQADAkD_F3e C
& D#R354|1 ~51a :@M?ic?=giF_dSCA_e(CQFbExDFbECN_;FFe(SEHml&CGFA &gi_&e;Fb_;SQHmg=UqHdbGS
6AcHd_FUJeHDUbEFFoRHdqSQ_;Hdr&?=P(bGFSNPlCGcCGFF3AbQex2_|gBcg=eR_FHCCQ: ADP2)I_2CGSQr&PdFSEFUmr;bEFg=Cw_;J HDkjCQbEl&Fl&crSECGFr;JAdFl;CP? : w_;F)IF3r;]e
FSQ&H J g=Hd7_ =a?i=_&HFHFr; g=gB_;cSErk r;FA A?iq6SQqFHDHdbQbQbG_&S@SYAgBg=SQeRe;g=FxDF_aFm_aSESQghAgif&f&q&FFq;b bYbQHDHag=J _&ADAccr;?=l&;F3eRgiCY_F3eRACwFbEAFb
r;HaCTSADe&eRbQF3CQCC #
\ McHD? UIAq;PRg=?iC FbESEl;r;_gBCSQr&r;DF HaCT;S,g=_&AdeRe;FeRb bEHdFCE_ CYAgi_acSQHdH UADq;?ilR@SQcF?=bgiF_dS$giSQrq;bQ&A HdkD@bFA?iUm=2C_;:yFH ?=_mcr;?=HdgiFCG_aSNS$Ade;AeR_&bEe FCECQC FbEAxD_Fe b
q&bQHdkDbAUmCNU,l&CGS!FXbEFcHDUq;g=?iF3e giJSEr;F$;g=_&eRFbFxdFbI_;FF3e;CISEHE6FXbEF?=H2cASEFe :
\ SE[ r;AF$=DcF*l;bESQbQr&FFj_dSc?ir&g=FHd_aCGSySwADA_e;e;ebQF3CQFCQCbExDHDFJ~bSQHDr;q6F F&bAgi_&SEe;gi_&FkbwACQP2SMCGbESQl;FUm_jC$SQg=UbEFF@CQq66HDJ HD_&bCQg F&o;?iAF*UJ HDq;bm?=FCQl;gi_ q;q;w?=P2gi]_; k
giCQSFbEUmxDFAb$P q&bQFXHdkDCQl;bAq;Umq;?=C,giF3_&e Fx2FgBesA$SQAD*H _ 6FF(_ax2g=g=_RbQJHdHd_;bQUUFF_ae S@xADr;bQFgB_;A ;Fxd?=FDF: bwSQr;CGFF bECN;g=bE_&l;eR_;F_;bg=_;g=kCcbEF?=gi?=FHR_dcSASEAF_e e :
)Ir&g=CUFSQr;HRejA?=iHFCNHRccADCQgiHd_&A?bEF?=HRcASEgiHd_ HDJSEr;F$;g=_&eRFb3:
\ NOCEAkdr&FYF_ySQH*AX?icHR?=cg FA_aSQFXS HDSEr;b F CQF;bEg=xD_&FeRbFq&bbQ:wHd;kDbHDAbwU Fo;CGASEUAbQq;SEC?=F@FoRgiF_ clRMSQg=_;]Bk .D&ghS SEr;lF&CGF3&CpbQA HaAD;e;bQHacADADCGe;SIcADUCGF3SCQUCEAF3kdZC F 
bEF g=? ~l;F3CQq6CTS FcgiJ giP(?=SQbEr;Fq&F?iEPq6HDbQSwghSEr_2l;giSE&U C@6cFl;bWbEbQHFJp_aSES r;r;EF Hd;CGSNgi_AdeRe;FeRbYbEFACE_&Ce: )IA r;;UF g=_&&eRgiF_&bwe;FbEbIFccFAg=_xag=_;6k(FMbECGl;l&_mcr Hd_A
AD_2P cHdUq&lRSQFbA_&ejcAD_*F3ADCQgi?=P 6FXbQF?iHRcASQF3e :

<


 

   wV 
  


DH)ICQP2bEr;g=CGkDFSQg=F_&6UjAF?=:OCGiSDPR=2eRl;_;F_ HFCQg=kDKM__;LNF3HDe>
JpJ SQHDgBr;Cyb@F CQcl;?iMg=q;FM_aq;]S?=g FCQeFKbExDADLIFCm>b A cCQHdPRq&UCTASEU$bQFSmUml;H_;CJwgBcgBSQCYAr;SQ2Fg=HDl;_mx_Ag=KbE_mg=HDLISQl&r;> CmFY222l;l;l&__ _sww<tdptDm]  _;FHDSZr;@q6g=FHdcb`rbA=,SEIgif&_&AD?ikFC
SQCQr&P2CGFSQ)IFcr;r;UmF*HDCMgBc2AFWl;__HeJ~Kg=l&CWLNCQAgi_;>?BCQkHyCQbEP2AFCGxUSQADFHgiU ?BSEAFY&q&q;?iFbQbQHHRx2cgBgiFeRSQeRrFl;CHbEADFXSQr&_|cFADgibw_a?iBwSECIFpHbQJ5xDADFcbNg=Fm_&FCT?BghSASEAr;_&?=FkDAb l&SQADwg=HDkDvw_&FyCL c:'AD]`]T?iU=L Fe q;HD?=b%F U)M/*F>N_a' L SEF'bA]TC_&L~e|r&: AADxd_ F
g=_dSE3F1dbQJ5AD #;cFYd1(cHDU%1 q;$g=?iF b35c6AD?i=F}?e #;6 469 #;14431
O: )Ir;FX2l;_ WvwK ?=AD_;kDlAkD!F r&g=cr IADC@HDbEg=kDg=_&A?=iP
eRcHdF3UCGg=kDF_;ADF3_e(g=J _aHDSQbMFCQbGq6J5AdFccFgiJ P2eRgiF_&f&k _&ghFSEo2giHdSEF_ bE_&?BAA_&?kDe&l&AADSEkDAyFDbQ:Fq;] SXbQF3g=CGC,F_aA(SEACGSESEADgiHd_&_&e;CADbEr&e AdC!SQHj6FbQFF_q;bEFFo2CQSQFF_a_&SYeRAjFee;ASQHSEA*6SQF4H 
FUo;gic_&r&kWAD?B_;AkD_&&F kDl&ADFZSkD@F@FFNF_FeRcADg _$FHdbEF_;_a?iP$SWeRADbEFcCEr;cbEgiSQg6F3cFSEe;l;AbQF3SCA;:HD]J S UmUmADAcP$r;g=_;FFD:Wl&CQNFe$lRSWSEHYgiSYCQg=q6CwF_;cgiHJ P$SYAyAX2q;l&bEHD_kdKbEADLIEU > 
g=A_d_SEFg=_abQJ5SQADFcbQFJ5ADcFr;_&gBcArUc-F Hd_aSQSEHdAkDg=_&FSQCwr;AyFXb q;bEHDghSEkdrmbEADq;U bEH2_2cFl;eR&U l&6bQFFbYeRAFf&__;e giSQAyg=HDxd_&FC@bCGAg=_&HDe_CQ_2l;l;q;.U q6HDbQFSQbwg=_;bkYASESTr;P2FqbMFwSQeRr&FADJ _ 
g=_2_;l;gh&USEgiHd6_&FCb3:Y:~M C@q;HDbE_;HR?=cPF3eRA,l;CGbEg=F,_;kDeR?=FFfg=_;_;ghq;SElRgiHdSI_ q&ADCQq6bEADFUcgif&FSQF3FCwb A*g=C@q;AbE?=H2iFHcNFeRFl&e bQDFq;CGbEg=HRkDc_&FAe;SQl;l;bQbEF3F,CpADbE_&F e l;q;g=bQbEg=HR_;ckXF3U,eRl;l&bE]? F
SQHDg=l;q;SQ?=q;FlRq&SmAq&bAADUbEADFUSEFFbSQCMFbEU$C$l&HCGJYSYAg=_&q&c?ibQl&HRe;cFF3eRSQl;r;bEFF(U AD?=ADCQCYHcADHdbQUF(qbEHdF_;SQl&FbQ_a_;SEF3CYesHDJNx2gBA(A CGAg=kD_&CQgi?i_;FmkdCG?iSQF(bEl&bEFcSECQl;l;?hbQS3Fd: .: )I)Ir;r;FF
SQq;r&bEFYHRcSTFPae;q6l;FXbQFXHJCQgiSQkdr;_&FXAg=SE_;l;q;bEl;FScHDq&_ACGbgBACTUSCFHSEFJb3SQ: r&FbQF3CGl&?hSSTP2q6@F &SQr;F_AUFXHJ~SQr&Fq;bEH2cFeRl&bQFXA_e
gBCTSEgi_;k ;:i-< #~g=?iF3Cg=_dSEFbQJ5ADcFwg=_ 2l;_ wvWK



&)> 7? ,$!*@BACEDGF6H H"H<!#%I $&'(*)+*,-!.0/#1)+23/#4,25!6471,8,9/& #: "! <;*=

!0!0JLJLK(K(33((/>/>MM,L,L!G!OPM>5>3<QR>7<.M,(,2!&!>/ >I <NI
!0JLK(3(/>M,L!%S-0,.T6!VURI
W0_5`X&YX Z-[M6X%,LTa\ !?0Ub!4^I ]
[j<c1I dYfe(g /4/V3h @A3CPi&I

<

W0X&VY>Z-.[>X
<, !30>!&/ 3Va.0T<$/1I ]

\Nj<I05M!43 Q <7.5,L! P!&3I  K 7.$M!*7, I
W0X&VY>Z-.[>X<?, !3a>L/ aVa?Ta$ /1] I
S(Nj<0I 5,<M3TQ !VU 7.5,LM6!&,L3T !0UbK I7.$M!*7, I

&qA_ADgiebY;SQHDHr&bXJ@FFq;o;xdbQHRFAbUcCGFg=q;eRHD?=l;_@F bEF_2CQCwl;FU.JFHdbSEr;FbYF bEg=wgiCSQg=vW[;_;:Kk()IADeR_&r;FeF f&_;bEgiFSQ Adg=HDeRP _ g=_;Hk J q;fbQg?iHRF3BcCTCSEF:EgieR_&)Il;kdbEr;C FF$Sq&:iA<bQ=dHdFHkDCYJbAADAUCw_ gig=_&_2_aq;l;SQlRFU&bQSJ56ADq&FcADbYF bEgBADCXUghtDSEFtDr SQtdFAt b
f&_2Al;?=CTFmU&SEbQA6l&_&FcebmSQl;SQHDbEr&JDF F2_2Paghl;SQSEF3r*U.C$SEbEr;FFbEbSEFl;FYHbEJK_;c2HDFUPde SEq6FACYHD_&_;ebEFF _aSQSEr&l;CIF*g=bQCGF3fq6e ?iFF:cgh]e;J P2SEACXg=SE_;A;bEkBF: # CQl;A,)I?iSYf&r;?=FgBFYCXg=AjeRF CT_aSEbQSQlgif&cFSQb_l&q;;bQbEA,FmH2q6ccHdFHd_aeRCQgiSEl&SQAbQg=g=HDF(_;_(g=r&_;giADk(_*CSQSQ_;r;r;HFF
bE_2Fl;CQ&U l;?h6S3F: b )I>Fr;bE F HwgB C~bEFCQFbE xDFAeX_&J e HDb Aw _aP l&?i;q&q;bQbEHRHRccF3F3eReRl;l;bEbEF FSECYr&AAbESpF$gBC~kdkDgixdFF_;_ Fb_2Al;SEF&U e,6ADFlRbSQCHd<mUmAA_&SQgBe|cAD[R?i=: P)IA_r;e F
gBCIgi_a)ISQr;F_&g=CeRF3]Tve SEH r&AFXxdF(lCGADF3?ieyUSEHdHCGSSQFSQCGr;S%F CEr;AFUSQr;FFbCGP2A_aSECQAFo|bExDFSQH|bIg=eRCFAf&x_;ADF gi?BAe;;A?=SEFDA: STP2qF3C?iAg =DFjg=_O>w: ] S
STSQq;P2r&bEqF,Hx2F3CQC2g=ADeRUF3l;C FY_;Ag=CQHDPa__;SECAHo(SAA_&ADSEe CgiHdgi_q&_bQHdJ >wHDkDbjB: bA)IeRUmr&Ff&FC:V_;gi_ag=)_;SEkFP2bQq6J5cFADHDeRc_&FFCGJ5SEcC2ADHD~_aUCTSESEq;CC bQlg=?icFSTSQ$bP2l&q6 bQF3FyeR9 FADJ514_&CC 3 e YcCTFADSE_2bQ_ l;l&UcSQFFl;blbEAFCGSECCF3FMe eFSEST_2HmP2l;qkDUF3FCXF_;bFr&AbASQAF3xdSEe FF
SQr&FYJ HD?=iFH g=_;k$J bQHdU A_(g=_dSEFbQJ5ADcFYe;Ff&_;giSQg=HDG_ #
\ c?ig=F_aSMCGSQl jq;bEHRcF3eRl;bEFC
\ CQFbExDFbIUADgi_jq;bEHRcF3eRl;bE@F ReRFCQq&ASEcr;FbA_&e(CGFbQxdFbCGSQl jq;bEHRcFe;l;bQF3C
\ Wc?ig=vwF_aK SMq&AD_&AdLce*=aCQg=_;FbEk xDFAb_&eCTSEl l;j_;q&q;AdbQLcHR=acg=F_;eRkl;bEq;FbQC HRcFeRl;bEFC,J HDbl&CQF aP SEr;FjeRFCQq&AScr;FbA_e
\ AcHDUr;FUAdeRHDF_ b*cf&HD?=_@F CTMSAJ HD_ab(SECWFAo;_&AeUq;STP2?=F qF3dCMSEg=r&? FAKSXF3UmAD+e AN P bQgiFSQFdl&: r CQFeMcgi_HD_acSE?=ADgiFgi_;_ag=SX_;kAD_&e;eFf&CQF_;bEgixDSQg=FHDbM_q;C*bEHHDJ
STkdq&P2bEbQq6ADHRUmFcCF3C:eR:Rl;)IbE)IFr&r&CNFFySEr&eRCGAFFSMbQxdx2FcgB?=HDcHDF_Rq6J Fq;HdbybQbEU
H2HDcJwFSEeRHSEr;l&SQFbQr;FmFXCQCQFq;gibEkdbEx2_&Hg=cASEFHSEl;STP2q;bQq6F3bQHCXFx2C AgBeRbEFFCkDg=g=xDUFq;_|?=FAdUC,F> _aSEJAl&SQ_&g=HDc_&SEgiCyHd_ HJYq&SQbQr;HDF3SQCGHF 
gi!cSWHd5Uq;bEq;HlRx2SQg=Fe;4 bF: :*CA2] S,l&?i_HRl&cCQKADFCY? LI&SE> r;gi_&Fme;eRf;giH2_;oRF3kjC$F3e CQ_&FHqbESmxaHdgBbGr&cSF$A_2xDcl;FjA.U ?=A Fej_;FbyFSEZS r;N<DF <dHD<$8b =FJ W6Hdb,gBeRq;VFbEH;x2gig=12_e;6 gieR_;gi_&k(r;k SEgBr;cCQrFFbEbECQx2Fl;g=bEc_&xaFDCwgB: cHDFd_]`: _&FCTn SExDFAdFAdcbQreP
g=L~_&HDCTbQSSNA_&SQr;cFFXHDCEJAAMUq6FWHDJ bQHDS~bUAADeRq;g]q6FFbbEFbQ_aF3ScHDxdbFe;bCCGg=SQHDr;_yFIHDq6JHDq&bQSbQHdg=_$kDbl&ACQUF d2HDPXSQF3r;ADFcbr,gBCQCQFFWbEx2Ag=cq6F HDbEbQl;SI_;gB_;CIg=l;_;_;kWg ?iHRl;cFYAD?iJ =HDPDb :
Fr;AdHacCTrOSE_&CGAFUbQx2FYgBcHFJCSQ: r;F)ICQr;FFbEbExDFFJ bIHdbQAdFjC @SEHsF?igiUAdq6CNHDSQbQr;S*FXAq&_7bQHdg=kD_abSQAFU bQJ5AD_2cl;@F &UISE6r;FFbADc_&?=g e(F_axDS FbEU,CQgilHdCT_ S*_2CQl;q6.U FcgiJ FP b: SQr;F

  

<


 




   




 





IM2l;ADM_ CX]%Hd[ bQ g=&g=kDcADg=bQ_&CQHaFACGe PR?= CGP@SQHdFeRUbF3=RCG CGCg=SEkDA_;SEF3gi1ae|Hd_&,AC_&: e ,M3SQg=Ur;Fq;b5?=}5FUm1OUAF_2_alRSQJ5%F3Ad3e c1aSEz 2l;PbQ FbERl;Cl;_&_;_gixdHFFs[ bCQCQgBADcl;?ibEq;=HdP?q6CQPRHD2= CTbQ_;SESHFFgiUmS~_sAdCYC JAdNHDC,b$Fw?=l&M~CQJ FyHdb:HD_|6wH~giSESEr C
MM] AD_&e HSEr;Fb$HDq6FbASQg=_;k CQPRCTSEFUmC: wp|CGl&q;qHdbGSCr;FSQFbQHdkDF_&FHDlCCGPRCGSQFUCC~ ghS
FAxd?= FHF_(I)  r;bQC FbQJ FHdFwl;bMgiAdbECQCGFHDq6eyUFSQcFYr&SEHDC@Aq6SMHFJAb?=MASQpSQg=_;r& kmFXAUCQbEP2FAdCGHSQcFr;JU g=g=_;_aFSQcFCI?=bEg l&FF_aCGCQSCFWSEC# SQSEr;Umr;FA@FWCEa= ADAg=bE_;Uckr&FYghl&SEr&CQFADFXcbESEHe+l;JIbEF@MA bEMSEFDr;]: FWq;CGbQFHDbQSQxdHRFcbHdC:~?M2 ] AS_gBeC_;SQr;HFS
g=Uq&?iFUF_aSEASEgiHd_:



 

-.0 4
 78#0 !=<-.

)ICQFr;bExDFF&bC~AdCGSEgBH$c CQgBr&eRAF3bEA?FM6A,Fcr&HDgiU_&e7UwHD_~f& ?=FYgBCCGPRSQH|CGSQFAUj?= HF:~ ]`_yAU_7HdACGb8SN;cgiADSQbCQAFbECCPaADc?iHD?=SQir&F3FwcSEcgiHd?=g _F_aHSEJYCNAc?=_&giFe _aCGSEFCmbQxdAF_be C

SQAr&bEgBFMFeRP`F4Hd` _yNAbEFSEFr;bEA,F$FX_;HdCQFAD_SZUN eRF HDgBCTb8SE= giw_:c &SXHD+Umb; CQl;ADgiSNcUr;SEq;g=r;_;?=gBgFC@cCCghgBSSTCIPR;_;lR@ HDSXFSNg=bE_F g=J5?iAdl;cg=CQbQS_q6F3Fe MA:m= p] SIHDJgBCNADc?i?iq=g=HFFHa_aCQSECQCwCgA; FAD?ixDFw_&Fe(SQbQHPCGFbEUmbQl;xdAd_*Fcbwr;giADp_&C@FySQCMr&HSQxdHDHFl;b@kdrAF
6 HSQnrADAcr(c?=Mg F_apSMjACQ_&Fe(bExDAFbICGFFbQo2xdq6FHDbbQSEACISIHdSEr;_;FFYHDCQADbUUFwHDSEbEgiFYUHFdJ: ghSCeRg=bQF3cSQHdbQg=FCNJ HdbADccFCECK2 P bEFUHSEF
J5cAyAD?=g cCQFSCF_abESExDFCF_a: bSENOgiFbEFoRr&q6eRFHDg=_ bQbQF3SEAXcCwSEeRHDg=g=CMbEbEPFUcSQSEADbEHDgiF_abEF3P,SCAgBADg=Cp_;bQFFUme_&ADHDeRg=_bEFwUSEAADr;x?iFAD=PMgiS?BAF1 &oR9?iqF-SHdD1 bGCG SEH$FeXFA6 bEADMF,/CAAf&?=;?=l;F@H_; J giCQSgiHm:OSEC I) SQCQr&r;lFF CQF$?=eRgBCTg=eRbQSF3g=HbQcF3J;SQcHdeRSEbQg=HDg=bQFbEF3CCgicF3dSQCHdCQHXbQcg=ADFg=__ C
6FXF>@oR?iqg=FHd_abGSESEC~Fe(AdcAclRF3CQSECHDUmFoRAq6SEHDg=cbQASQF3?=ie,P eRg=bQr&F3Fc_;SEFHDxDbEFgiF3bICGSE2 r;PXFUCQFHDbEl;xD_aFbISEgigB_;C kwSQH2r&HDFSQUjFe: : ON r&F_Awc?ig=F_aS~UHdl;_aSEC
f&NA ?=HDF 5H b8bQ=2CGFPRCGUSECGAHSQSQFSQg=UF"HDyI _&CHDeR_ g=ADbEbQFghFScCmSEe;HDg=bEbECHaP@=2HD ?iF3SygiCQS CeR:gi6 bE]FFJpccHDSQghSYHdUbQCGFP-H C* e;bEq&FFADCQCQbGgil;bES ?hFSECCHDgi_&J,k AygiSEg=e;C(_Og=CeR=2Agi?ibEF3f&FCQc?iCF SQHdcCQbQ?ig=PRP FCT_aSEr;SYFg=U FcbAA_jSQbr&cUAraSyPdHD:l&g=Cm_dSY[ CQl;AmADq;_abEq6P FHDUbQ2SQHl&F3SE_e F
FU_aHDSEl;gibE_aFSm?=PbEFHdU_ HA SEF(bQFeRUg=bEHDFSQcFySEHDCQbEFgibEF3xDC$FADb:R_2P I) r&r&HdFCQbEF F @ SEr;HdFbR=P CGSEAgBSECQgirHd_&HDCW_ SQrSQHdAS$q eRHDHJSQrr&AFxDg=Fmbm?=?iH2HRccAAD? ?e;eRg=giCbER= FCcSQcHdADbQ_P

<Z

 

r;q;g=bEFHDbkdAbEbADcUr2P@C&bEbEl;F_;CQl;_;?ig=SQ_;g=kY_;k(HD_gi_ SEr;AmFMf&c?=?=Fg F_aCQPRS CTUmSEFADU cr;SEg=r&_;AF@SYSQg=r;CWFq&bQFADbGgBSEC%?iPjH5AD?=?iHRUcHaACT?~S(AI__;e Hq&eRADg6bGSEF?ibQPjF_&bEcFF!U6HFSESZFDN:$F)F_H

A$f&?=)IFXra?ilHRCycASESQr;F3?Fe Hd_(ADCQAg=cbEFAUbcHr;SEghFwSEFfc?iSQFl;bCQAFbE?WxDcFr&bIAADb_&ADe(cSQFAbEgBf&CT?iSEFYg=c?=HRHDcJ,ASEMFe(p HD_*g=C SQr&SQFXr&A?iHRSjcADCQF?bEeRxDgBF^C bE=C : FoRq6HDbQS
eRCEAg=bQUF3cFSEeRHDbEg=bQgiF3F3CcSQAHd_&bQPeAcS ?ig=FSEr;_aSEFMCMCEUAUHDl;FI_aSQSg=USEr;@F aFUSQr&FbEPFUcAH_mSEFc?=PDHD:IU] U,J~l;SZ@_&g=HmcAHdSQbUF UaPHDbECGF,rAc?=bEgigiF_;_akYSECf?iUF3C Hdl;g=__aSSQr;SQFr;giFb
HDcCQqHd_UF3AycUgBAe;Hd?g]_ r&FADeRbECNFg=bQ_aSEF3HSMcSQHdHd_;FXbQFg=eRFcHdCAD:I_;_(FW bESQFHmq;AdbEADe*HDckdr;SQbEr;g=ADFF,U xdf&FWHD?iCQFd_r&:!ADHd,wbQ_;g=__;F,ck&FXcO: ?=gSE)IFr;_ar;FSwFXUcCQADr&HD_ Al;bE_acFSbEeyCFAf&r&SQ?iAFF3xDCAF$Af&6bE?=FF@F FTT_ lACTeR_SHDeSE_&r;AmF@F&bEq;_&FwbEHHDg=SQ_(kDr&bSQgiA_;r;U kF
IeRg=AbQPDF3:OcSE)IHDbEr;P$g=CMr;CGg=g=FUbAq;b?icgBr2cgiP,STP HDJgBCIU,HDl;_&?iFWSQg=q;HDJ?=FwSEr;UmFXAdkDcr;bEFgi_&AFSICNAASGSE_&bEeyAdccSQAg=HD_ _6CIFWHbQJF3wADeypAD_&: e bEghSQSQF_ SQr;Fwl&CQl&A?
  <-.!

)(

01


r&A2_g=AD_&bEeOce+FMICGFHDAbQ_;bExdF@FFbHDCghJS$SQqg=r;HaC,FCQFCQkdCEgHd&CGFAD?iP _d?=CpSEbQg=HDADl&J? _;MSE_;r&pg=_;AksSg=SEC HDr;_SQF H,e;g=CQ_agil;bESQq;bQFFq6bGbQJ5HDFAdbQ_acS@FSyAX6HDr&q6FFSZFSQNbFAFbQSQFHdg=_ kD_;FkSQ_;r;FCQF PRHdl&CTcSECp?iFg=FCGUPR_aSCGSQC,AF_&AU e7_ esHd_ CGgiFSQryeRbQxdg6cF?=bFg CFbQF_a_dSEFSC
NF?=)IeRr;FFf&f&_&bFCTe S: Mp q;bEHSEHRcHD?~r&AD_&eR?=FCXUHdl;_aSQg=_;k&:y c?ig=F_aS,cAD_ CQF_e A(q&ASQr _&ADUF
SQeRH g=bQF3A cSECQHDFbEbEPxDFr;b$g=FAb_&Ae|bcbEr2F PDV: l;F3)ICTr&S$F qq;FbQ?BADUcgBF CQCQgiHdr;_ FbESQFmHgiUS$HdgBCXl;_aSQ7HS,SEr&F*ASUeRHdl;gibE_aFSQcF3SQeHdbQPg=C,CG_;HdHUS$2F cHDr;_aFSEADbQFygi_&g=F_se gig=SE_ C
SQ_&r&ADFWUUFF3gBCpCQCE?=AFkakdF@A?&RADADCN_&e$SEr;SQFXr;FMCGFe;bQgixdbEFFbcSQeRHDH2bEFP$CICQ_;q6HDFScgicf&AF3bEe$F rADr;C F6bEFYFFgh_mSFgBCNoRqSQH HdbGSEFXFSe UDSQHdr;l;Fw_aSQCGFFebQxd:pF] bpJbESQFr&SQFXl&bQq&_&ACpSErA
ST$~2P2l }5q1mF-CGpF #;SQr&l&F(F_a}5eRS$1 gB: Cc= AD)I~?ir;BCYSEFIr;SEf&F(H ?=Fg]bQ F3_;r&ADHRADe|_&eRF(eRAD?=_&F_a*el&cU&Hd_d6bQSEFgibESQbADFygi_Hf&JC?iF3f&SECr;FF(?Bg=e;_ Ce;giSQl&bEr;_;FF cg SQUHDl;bEFHdP@?il;P$p_aADg=SQe;_&F3Fese_aSQeRCQgiFJg=bQP2cF3l;gi_;cbQSQkgiHdSTP SQbQr;PgiF_;l&fJ CGHD?iFybEFUSQCQr;PRAF CTSQSEg=HDf&FU_?iF :
r&AD_&eR?=?iSQFDF: bE_&ASQg=xDF?=P@ 2l&_ CxdFbCGg=HD_ HJ w] A?BCGHCGl;q&qHdbGSC #;6zs6354 :7)Ir&g=C
JFHdASQ_;l;F bEHDFMJRADSQ?ir;=FH F3CGF@C bQAFUCQFHSNSQFNHJ eRbQg=FbQF3UcHSQHdSQFwbQg=FeRCgibEAFbEcF SQHdUbQg=HDFl;C~_aSESEH F$e 6FwADr;CEFCQ_H2cSEr;g=AF@SQF3c.e?ig=F_agiS~SQr*g=C AXH2?iHRHDcSQAFe?e;:gi]`bE_&FCGcSQSQF3HDADbESe PD:
SQFr&AdFXcr*f&HDbCTJSSEr;SEgiFUCGF$FbQAxdFbEbFCUO: HD)ISQr;FYFYf&f&?=FbCGgBSICHdHD_;q6FWF_&SQFHmeSbE&FSQq;r;?=FP Hdqg=F_&bECC A;SQAg=_;_&kye(CQgiSEP2CCGSQeRFg=U bQF3cCQSEFHD_&bEe&PyCMg=ACIUUHdFl;CECQ_aADSQkDFFWe:SQH
UADe&FeRCE)IghCQSEADr;giHdkDFm_F3CGCYdF3SQSQcr;H HDF_PCGeFcbQMAxd_yFpbACY?BCQSQq;HHbEHADUSEcH2cADcF_;HDCEg=C~?~q;l;f&gBCW?B?=AFMJ SQHDAF(bXSQSQeReRbEg=gg=bQ&bQF3F3lRccSQSQSQF3HdHd2C bQbQ2g=P FCGC,lADcA_&ry_&ee ADf&C~SE?if&FmH?=FMAdbEcFUcAdF3e|HRCQeRCA-F:_&a>@e CQg ?=>gF@F _abEagiSEASQCY_&FyecfADSE?i_ F3giUCCQ:FMF_]`HD_e J
?B,WADCGL Swn@U HRADeR_&ghf6ecA> SEgiHd,Y_R: nM[ :JHa)ICTr&S FWMHdU] g= CECGg=CQHDPR_*CTSEHFJXU ,WcL ADn ?iB CWAAbE_F$e*CQl;c?iq;Haq6CGFWHDbQg=SQCIF_&7e H2SPjA_jwpADc0 cgBeReRFH _aS_&:pHSYwl&CCGghFS
gBUCMF_;CEHDCQADSWkD_&FWFg=cCF3CQCQCEFA?iJ bE`P*cHDSQ_aH(SAHDg=q6_;FF_Se RA g : f&FD:p?=.F giSM6cFHDJ Hd_abQSF$Ag=bQ_&F3CIADeRFg=_;_;Hdkyl;kDgiCS r* gi_;_;HdJ bWHDbEcU?iHaACGSQF$g=HDgh_*S SQHmr;FHd_qFeRbEHdA_;SQF FD:Xn ghSEAdrjcrA
bECQFFUbExDHFSEbNFpeRf&H2?=FF"CN'e;_;giHDbESIFcrSQAHDxDbEFPMSEHdH$_XbESQFr&UFNFCQ&UFbE6xDFFbbCGAgB_2eRPaFdSQ: r;)Ig=_;r;kFNAAD6eRHDxlRA_aSSHDAq6kDFF _(HJRcHdSQr&_;g=_;CFCQccSQr&g=HDF_&UCNF g=R_gBC6SEr&FAZS NSFSQr;F_ F
f&HDcADq6?=F?iFBCWC_*gBSQCwf&H?=?=FHdghS3CCGX: SgBC:)Ic
raADl?iC@=CQFFgie bEJxDCQ%FFbMbE#RxD?=3gF=d12bNF,}512cSEbE%r;Ad% g=CG: Cwr;F3SEr&C AADS_&emeRH2SEFr;CWF_(_;HDbQSWF3cUmHxdADFgi_ab2CSEdAD_;gi_ H$CTg=S_RAJ SEHdF$bQUmg=_RAJ SEHDgibEHdUm_ AA SE6giHdHD_l;SNAHd6qHDFlR_ S

<t

Client

Server

System call layer

System call layer

Virtual file system layer

Virtual file system layer

vnode

Local OS

NFS client

inode

rnode

Local
Disk

Message
to server

NFS server

Local OS

Message
from
client

Local
Disk

g=kDl&bQFX;:=<@#pw~*?BAPDFbICGSQbEl&cSQl;bEF
Network

8

* " 4

#" +, .7 +

 

]?BASPDcFHdb3_&:&CG)IgBCGr;SWgBHDCYJ ?=FSQxDr&FbQ?pFF$r&A?BA_PDeRF?ibEF3CCCX cADADCY?iBCGCWr&?iHFgA=DFR_,Wg=_ L n@g= k&:$K&n@:i<dM:&v.)Ir;AF_&SQe|Hdq> ?BA,YPDF;bwngB:C %J SE%FbX12q&z ADbECQdgi#;_&}5k }

SQ$~r&}5F1c%A?=%p3A1a_&z ecH Wr;F~cLB=2IIg=_;?=kyAPdSEFr;b3F: q&AbAUFSEFbC2giSXgi_2xDH-=DF3CSQr&FCQFcHD_&e?=APdFb_6SQr;F   3#;}
f&A_(?=@F 2g)I A_;r;_&HRFNADeRSE?iFXHdADkDCgB=HdCl&g=HD_&CJ&eRSQSQHXgBr&cFASEr;SQwFFe(pSAl;;_&?BA?=g FMPDl;FHDb~FJ ?ig=]g VP C _;SEaHRHWP(eRUmF`A C ADH5giJ eR_aHDFSEb@ADx2HDgig=_q6c@F FAw;_gSEf&A@_&?=;H2F?iC@e;F FWgi_ _2giwSQl;r.U HD] _&$FF@Lb :aINF]`_d_mqSEAbQHdg=PbEbe;: J HDgi]`_&bp_ADCTFbQSEAdP FcADr,Me MHdRq]SQ&r;F_ F 
w%p_;*HReR?BAF3PDCFAbIbEr&FmAdl&CCQAF_(eFSQ_aHjSQbESEP@F?= cA?=r;FFe(SQr;A Fb SQr&Fmf&1 ?=FmH g=C, ?iHRcAD#;? }HDbXEbEFU1 HDI4SQ2FDJ:(HDb;HdFxdbFbQbEFPmUHDHq6SQFF_(ff&?iF3?=FD2C :
F_&HD)l;HYkdr*CGFg=F@_RJ r&HDHFbEsUmAx SE gi_;HdHR_*eRgBF3CIC~q;AbEbEHF@xal&gBeRCQFF3e eySE?iFEH Sp6l&FCA SQb&AD?iFWcFNSQHyAWCGAdF ccl;FCEFC_&cSEr;F@FHDUjJ [ : , wU)-,WL@n A_e
KcADn@?iBMC vSQr;F CGPRCGSQF+U 3 cADq;?ibQBHdCkD%: b)AH*U
UCGq6HdFl;c_aghJSwP2Amg=_;bEk$FUSQr;HFYSEFXbEFf&U?=F$HSECQFwPReRCTSEg=FbQF3U cSE&HDSEbEr;@P F$dSQCQr;PRFYCTSE?=FH2U cAAD? e;eRUg=bQg=F3_;cgBSECTHDSEbEbEP$ASQHdHd_ b
SQUmr&r;ADFWgBcc_r;rAg=_;UghSWF@FYHDg=CM&_HJSQHRSEr&r;g=FYcF$r,bQUFSQUr;HdFIHDl;SQ_abEFXSQFF3UeReSg=HbQ6SEF3ADF@c_&SEeRHDeg=bEbQP$HDF3SQcSEr;SEH HDFbEbMPWFYg=_RgBCUJ HD?iHDHRbEUml;cA_aASQSESQF3Fg=ee(HD:_A:%] _&S)Ie(SEr;r;eRFF gB_CQccHHdxD_d+FS3bADCpcSEq&SEr;CbQFYHdSQr&kD_&bAAASUU UmFYADq&HcADJr&bESQgiCQr;_;FFFC
ADAxC=2Agig=_&? @A ky;?=J FwHDbXJ HdAybf&bEF?iFUr&HADSEFW_&eRU?=F,Hdl;J Hd_abWSQg=SQ_;r;Bk FRSEbQr;FUF,CQHFSQbEFxDeRFbg=bQbQF3FcSQSEl;HDbEbE_&PD:XCA] J f&SE?=r;FXFr&eRAgi_bEeRFc?iFSQHdJ bQHDPjbIFSQoRr&gBF,CTSeRCYg=bQAF3_&ceSQHdg=bC :
gi_)IA?=r;i-P F.R=dghSFbEUm_;FA ?=dFSECr;FA _ [ cHd, _&wCTSEU bQl) cSECGCYPRCGA*SQFx U  _;HRcAeR?=F$W;J q&HDADbWCESECQr;gi_;Fk$bQSQFr&UFXHDr&SQFA_&eRe;g=bQ?iFYF3cSESQH$HdbQSEPr;$F AD_&=DeFbQ_&AdFC^=R? : CwSQr;F
SESQMr&@A p;F $?=FwC~cp?=SEgi(FH_ar;?=SpAHDPdc?BHRFe$b!eRSQFIr;giFMg=_?if&l;?=Fgi?ikSQr&g=:UA&_&A:ie;<@SQF?iSQFd?iHXP(O: c)IcbEHDr&F_aAFSSQxAFIg= _(A_;_HRFeRgh SEF3r;CpFq6bwHDAg=1_dqSH C~Hdgi1aSQ_aHzSQFSQ&br;3FSQ1$Hyb   AD_;E_jHReRb^FD_;:~1 HRn IeRAdgiFX_crg=gi_jSExC~SQ g=r;_;_dFHRSEFeRwbEF_&~g=A_ ?
c)I?=r2g Fl&_aCpS J cbEHRHDeRU -F dSQHdr;bFwAXx  q_;HdHRgieR_aFSEFgibpS@SEgBHC q6A_mHdCEgCQ g _;;HR?=FeRFSEH,g=_CGFSQFr&FghJ?iAXHRcf&A?i?;FMHdHDqb FeRbEAg=bESQFg=c_;SEkHDbECGP,PRCGgBSQC F?=U HRcH5ACQ?&FHDFb bEg=Fk&U:pHD;SQ:=@F<D:
A_e giJgiSgBCbQFUHSQF-2SQHf&_&e(giSECIf?iFXr&AD_&eR?=FD:
[





Client

Server
System call layer

System call layer

Virtual file system layer

Virtual file system layer

vnode

Local OS
inode

Local
Disk

NFS server

NFS client

Local OS

rnode

Client
Stub

RPC

RPC

Server
Stub

CM

Local
Disk

CM

g=kDl&bQFX;:\[+#pw~*?BAPDFbICGSQbEl&cSQl;bEF
_&] S(ADUCQNOFF-F3Dr;CmSEFr;SE_r&F AA=DSyFbEbEFSE_;Ur;FgBHC*?&SEr;FYeRgig=SEf&bEC@F?iFXSQcr&SEgBHDFwCbEHdeRPqg=bQgBFF3C _;cFSEbEHDeSFbEUP$AHDSMHdSQ_FCQHDADU_&r;FYe7gBcqrmgiHd_ SQgi_ar;SQSwFWr;FeRbEFl&eRUbQgig=bEH_;FSEkcFSQSQf&Hdr;bQ?=F,FwP q&CQCmPRACTxbSECG Fg=_;_;U
HRkeRg=HFC@J~Uf&SQ_&r&HDe;FXl;C_aq&SEASQFr;SEe r F :
q6MHDpg=_dSEcF?ibWg=FSQ_aH(S SEcr;HRFeRFMb^ ?i_;H2HRH@eR=RFDC~:$l;q] SYSESQr;r;FFbE_ FUmAd^C A=Rg=Cw_;g=SQ_;r;kYFmqwHd~bGSE giHd_c?ig=HFJ_aSQSr;cFMHRq&eRAF$SErSQHj_HDAq6UFF_HDSQ_r&F$SEr;fF?iFdbEFE: U)IHr;SEFF
]?BCQASIFPDbEUxDFb_F@A bI=DADF3CCEr;CQAgBH2c_*cr g=^bAq; SQ_;lRF3HReSCeRFg=_|giJ SQHdr(ghb SSQCXSEr;r;SEFXFWA@;UbQF?=FHdUCl;HD_aAjSQSQFMFx e(f& _;?ieRFWHRg=eRbQg=_ F3FcgiSEJ SEHDHDC@bXbESEPySE@A r;;AFm_&?iF3e(C@f&?=kDADFF_&SESQeyKCrbEA&FS,Adq6Lc q6HD= HDbQSEg=A$_aC SEf&&CX?iADFYSELc Hjr&=ADSQSE_&r;HeRF SQ?=r&FYb^F J _;HDWHRbeR~giFDS ::
FCQg=gieRSQkar&FdAF:g=_*b@ADr&_m?iFSQbEr&^b $F HD_;l;@HRkdFXeRrFCQFSEHdFYr;b FySQArCQ_mAFSbEg xDF_&FxdH2bYFe;bEgBFDCXPm:pq;HDbEq6FHDFq&SQ_(FADbQf&SEF3r&?=eFXASNHDSEHb_;HXeRq;g=bESEbEH@AFxa;cSEgB?=eRFHDFbEFPy_af&SQr&?=bEFmAdg=FCr&C AAAD_bQ-x eRF ?i_;F3UmHRCXADeRl;e;FWq6FSQHDrHD_ A_SbESEF q6r;HDFwl;g=FCQ_dFCGSSCbECIxDSQFghH Sb
eRA_H2r;eFgBCcgir$J_;eRHgiSUSHYgB=d_;CFHDxFSAqj: ?=g NOSQeSbRADr;lLc F=CG_mF3HDCAMJ ghf&S3?i: FNr;g=r&cADrj_&feR?i?=F3FNCgBC~r&CGADFq;_aqSFSE_jHwSQgiS~HyJ rHDAbxDf&FY?=Ff&AD?=Fccr&FADCE_&2C eRgi?=S FCcr;HdFlRLc SE=RCGCSEADSQr;_&FIeRg=r&_;ADky_&AeR_?=@F e 
AA?BCQwH*NOpgiSr;Fq;cbE?ibEFwg=HFxagB_aCIgBSYeRA,F3q&CWq&AD?=CESQAdCwr;cFmcFwHDbEJ _aHDFSQbcbEgiHDAF?xa_(g=SQ_;KH*k(LNSQHr;> JIFg=Ul;_*_;FSQCEgir;$S CQFYADkDMr;FpCgBc: *r)ICTCGSEr;FbQ_&g=l&Ce;cl;CYSQl;_;AybEgiSF Ug=CXF3RCQADFCE_FWAkdSQKMFr;LNFXSQH(>wA*g=:k&;CQ:pl&F;bEbGxD:\SE[Rr;FO: bF:WNObEUr;HD_&FbEe_ F
SQr&FMMpmc?ig=F_aS@gBC A,c?=giF_dSNq;bEHDkDbAU DAD_&emA?BCQHYSQr;FWMpmCQFbExDFbpgBCNACGFbQxdFbpq;bEHDkdbEADUj:
Network

[R<


 w

  


i<&cAD_&?iBe;CbQ:FC. 14v,6 :N g=bQbE ?F?=~P A _&e @14b/2AD1 cFF69a AP 123 F?B14CQ6(HD_d:Xl;?=]`P U<q;td?=FZUu: F_aSEgi_;kjbEFUHSEF,q;bEHRcF3eRl;bEF
 [3  &F30: vw5 HD ?=ig=1(U/(: HD@bE3&F : :Me&>@eRHDg=CQl;HD?=HD_l;WN bEgBCFCQAD?iF_&P@e &[)Y_&: e(
Yg=F_&eRe+giSQ6g=FHDbE_ k&: <tD tD:u&/ : M6(: 1L5 "/ 1 &/  F3 9L1 M/
 9 KXM: :63RbQg=_;12g=6Lx/(Ad: CQFAD3_D: : 2 l;_[ gBcbE Hd
CQ PRCT SEF Um CC 21 Ml;kDl1CTSK6<3_tD9Lt 18;5 :+61  K6 _9  B1L94: K9
 ua KX2l;:p_ 2bQ[ g=_;gBcg=xbEADHdCECQAPR_CTSE: FUmC2 RMl;kDl& CGS
< tdt ; :   146(3   1 061(/2123 W: F3 F305 65:
 3 FeR_&giSQe;g=bQHDFC_G <td: t )RA: _&F_J&Al&U(:  : / M6(: 185 B146 M: 3 ! "/ 1 ./:wL bEF_aSQgBcF wA?=M [_e

 

 

  



 

 

[D[