The Parts-of-file File System

HAL Id: inria-00071803

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

Submitted on 23 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.

The Parts-of-file File System

Yoann Padioleau, Olivier Ridoux

To cite this version:

Yoann Padioleau, Olivier Ridoux. The Parts-of-file File System. [Research Report] RR-4783, INRIA.

2003. �inria-00071803�

ISSN 0249-6399 ISRN INRIA/RR--4783--FR+ENG

a p p o r t

d e r e c h e r c h e

THÈME 2

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

The Parts-of-file File System

Yoann Padioleau — Olivier Ridoux

N° 4783

March 2003

Unité de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 Rennes Cedex (France)

Téléphone : +33 2 99 84 71 00 — Télécopie : +33 2 99 84 71 71

')(#*,+-+/.0*21-34(5768*29:<;573>=3468?!@A341-(9B

CEDFGIHJKML0NOPQHRTSVUWPTXPQHR

HYZX[\R]X^R`_bacG)d2SVRTPTe8^H

fhgiS\jkHYZl[\OmH

n&[\oo2SVgbY&mpHgiHXqDHgiXqDHOr$sct\uVvwKyxz[VgiXqD{J\|W|Vv}K~s!o,[\UVH€_

A‚$ƒ„…‡†ˆV„V‰Š HogiH_bHO8Y&[‹OHŒŒŽ[a"SVG"[\O[VUVPTOU!‘RTH}XSVO8YbHO8Yi_’pP“Yq_”PQGIoRTHGIHOWYq[‡YiPQSWO[VOm•ogbHRQPTGIPQO,[\gia–H—po2HgiPQGIHO8Yq[\R

giH_b^RQYi_˜ZCEDHUWSW[\RPT_&YbS•o,HgbGIPQY0_bPQG‹^R“Yq[\OHSV^_&gbH€[Vm,™‡Œ”gbPQYbH[WXXH€_b_bH_”YbSAmpPQšHgiHO8Y‹›€œ>ž-Ÿ&SWOz[I‘RTHV’PTO{SVgqmpHgZYbS–DHRQowPQO

_bHo[Vgi[\YbPTOU&[”^_bHg€ _`XSWOXHgbO_’€H¡VHOŒ”DHO}YiDHa[VgbH¢OSVY£PTOmpHo2HO,mpHO8Y˜-¤$PQRTH_$[\giHhXSWO_bPTmpHgbH€m}[V_`GISW^O8Y£o,SWPQO8Y-mpPQgiHXYbSWgbPTH_

¥giSVG¦Œ”DP]XqD¡cPTHŒ&_”SWOYbDH‘RQH€_&[\giH[VXXH€_b_bPQdRQH[V_Z_§^dmpPTgbH€X¨YiSVgiPQH€_&[\Om•‘RTH_ZŒ”P“YiD{gbH€[Vm[\OmŒ”giPQYbHo2HgiG!P]_i_§PTSVO_˜<©ªPQHŒ&_

[VgbHAmH_bPQUWO[‡YiHm«Œ”PQYbD¬RTSVUWPTX[\R¢¥SWgbG‹^RT[W_mpH€_bXgbPTdPTOUwmpH€_§PTgbH€m«ogiSVo2HgbYbPTH_SV&¡8PTHŒ&_˜zCEDHa«XSVO8Yi[VPQO­YiDSW_bHAo[Vg§Yq_S\”YiDH

SWgbPTUVPTO[\R‘RTH!YbD[\Y}_i[‡YiPT_§¥aYbDH!¥SWgbG‹^RT[W_˜)fhgbSWo,Hg§YiPQH€_ª[VgbHI[‡YbYi[WXqDHmzYbSo[\gbYi_0S\<YbDH!‘RTH![V^pYbSWG"[‡YbP]X[VRQRTa{¡cPT[•ogiSVUWgi[VGI_

X[\RTRQH€m«®4¯b°\±Ÿ²‡³´q¯qŸ¨˜Eµ‘RQH!_§ap_§YbHG¶PTO8YbHgb>[VXHPT_Z^_bHm¥SVg0e8^HgiacPQOU"¡cPTHŒ&_’O[¡cPTUW[\YbPTOUId,HYkŒ·HHO{¡cPQHŒ&_’2[\Om^o2m[\YbPTOU

¡cPTHŒ¸XSVO8YiHO8Yi_˜

¹{º8»¼b½‹¾ …‡¿$ƒV‰ ‘,RQH_bap_kYiHG’p¡cPQHŒ’p^o2m[‡YbHW’e8^HgiaV’pO,[¡8PTUW[\YbPTSVO

243 ƒ6587 3 ‰:9 SW^_hogiN_bHO8YiSVO_-^OH”>[<;SVOIOSV^¡VHRTRTHEmH&UVNgbHg¢RQHZXSVO8YbHOc^ImH_-‘,XqDPQHgi_’W_i[0G!P]_bH&HO=^¡cgiHEHY<RTH_¢ogbHG!PTHgq_

giN_b^RQYi[‡Yq_ŽH—po,NgbPTGIHO8Yi[V^p—#˜¢lh SVdpjkH€X¨YbPQ£H€_kY”mpH}o,HgbGIHY§YbgiH0R4 [VXXF_E_bPQG‹^RQYi[\ON?>!mpPQš2NgbHOWYiH_0›€³¨Ÿ<m# ^O•‘,XqDPTHg€’cHOARTHXYb^giH

HYEHOAN€XgiP“Yi^gbHW’WHYEXHXP[\‘O•mH0XSVO8YbgiPQd^Hg@>)^OHª¡WNgiP“Yq[\dRTHª_bNo[Vgi[\YbPTSVO–mpH€_ŽogbSWdRTFGIH_Žm# ^OA^pYiPQRTP]_b[\YbH^g’cGBAGIH}eW^,[\Om

XH^p—DCXPEOH{_§SWO8Y‹o[W_!mPT_>jkSVPTO8Yi_˜ l`H€_)‘2XqDPQHgi_I_bSVO8Y"XSVO,_§P]mpNgiN_!XSWGIG!HmpH€_‹giNo2HgbYbSWPQgiH_‹o2SVPTOWYq_ImpHG!SWO8Yi[\UWHV’hmpHo^P]_

RTH_ie8^HR]_·mH_h¡c^H€_·_b^g·RQH€_h‘,XqDPQHgi_·_§SWOWYŽ[VXXH_i_§PTdRTH_hXSVGIGIHªmpH€_<_bSV^_ECgbNo,Hg§YiSVPTgbH€_-HYŽmH_<‘,XqDPTHgq_<[VXXH€_b_bPQdRQH€_hHO"RTHXYb^giH

HY}HOwN€XgiP“Yi^gbHW˜l`H_ª¡c^H_}_bSVO8Y0_bo2NXPQ‘NH_>AR7 [\P]mpH‹mpH‹¥SVgiG)^RQH€_ZRTSVUWPTe8^H€_’HY}HRTRTH_}XSWOWYiPQHOOHOWY}RTH_ªo[\gbYbPTH_}mp^w‘,XqDPTHg

e8^PE_b[\YbP]_k¥SWO8Y)XH_¥SVgiG)^RTH_˜GFªH_ogbSWogbPTNYiN__bSVO8Y‹[\Y§Yq[VXqDNH_[V^p—­o,[\gbYbPTH_)mH"‘,XqDPTHgq_¡cPT[wmpH_)ogbSWUVgq[\GIGIH_[Voo,HRQN€_

Yigi[VO_bm^X¨YiH^gq_IHk®7¯b°\±Ÿ²‡³´q¯qŸKJ˜4LZOH"PQO8YiHgb>[VXH–mHA_§ap_§YbFG!H"mpH–‘,XqDPTHg)_§Yi[VOm[\gqm H_§Y^pYbPTRQP]_bNH–o2SV^g)RQP]_kYiHg€’£H—coRQSWgbHgHY

GIHYbYbgiHM>ªjkSV^g”RTH_”¡c^H€_”mpH}>[<;SVOXSWDNgiHO8YbHW˜

N ¾ „ƒ ¼ ˆO3 ƒ•‰ _§ap_§YbFG!HmpH}‘2XqDPQHgi_’p¡c^HV’pGIP]_§HM>ªjkSW^g’pPTO8YbHgbgiSVU8[‡YbPTSVO£’WO[¡cPTUW[\YbPTSVO

„… ¾ ¿5$ˆ\„¾

… ˆ8Oº ƒ

J˜Q~ ©ªPQHŒ·H€m–‘,RQH€_’¡cPTHŒ&_’[\Om•¡cPQHŒ/‘,RQH ˜}˜˜ s

J˜J µ¸gi^OOPQOUIH—p[VGIoRQH ˜˜}˜˜}˜˜˜0˜˜}˜˜ s

J˜v O,mpH—pPTOU ˜0˜˜}˜˜˜}˜˜}˜˜}˜˜˜0˜˜}˜˜ !

J˜s "ª^Hgia8PTOUI[!¡8PTHŒ ˜}˜˜}˜˜}˜˜˜0˜˜}˜˜ t

J˜# 9

[¡cPQU8[‡YbPTOU!d,HYkŒ·HHO¡cPQHŒ&_ ˜˜˜0˜˜}˜˜ t

J˜! LZo2m[‡YbPTOU ˜˜}˜˜˜}˜˜}˜˜}˜˜˜0˜˜}˜˜ t

4O$ ¾ …¥„%7 ƒ)† ¿ ¿†„†«ƒ„… 5ˆV„ 5… º ƒ &

v˜Q~ ©ªPQHŒ/‘,RQH€_ ˜˜}˜˜˜}˜˜}˜˜}˜˜˜0˜˜}˜˜ u

v˜J 'ªO C4YiDH&C)(a–PTOmpH—cPTOU«˜˜}˜˜}˜˜˜0˜˜}˜˜ u

v˜v *pa8O,XqDgbSWOP,+PTOU‹¡cPTHŒ&_ ˜}˜˜}˜˜˜0˜˜}˜˜ -

v˜s GIo[WX¨Yq_ESVOS\YbDHg”GIHXqD[VOP]_§G"_˜0˜˜}˜˜ -

v˜# ¤$PTRQHSWo,Hgi[\YbPTSVO_ ˜˜}˜˜}˜˜}˜˜˜0˜˜}˜˜ ~€|

.0/#„ º

ƒ1¾ ƒ

32

4 .0/5 º …7 º „†„1¾ 32

#˜Q~ GIoRTHGIHOWYq[‡YiPQSWO ˜˜}˜˜}˜˜}˜˜˜0˜˜}˜˜ ~€|

#˜J768"XPQHOXa ˜˜}˜˜˜}˜˜}˜˜}˜˜˜0˜˜}˜˜ ~W~

9

2•º O4†p„ º ¿ ½)¾ …;:

<

& => O4ˆV†p„

¾

ƒI†

¿@?5£„65£…

º

¿A¥…

º

ˆ\„

¾ ƒ

3

B C ¾

ˆO5$ƒ1 ¾ 3

D E £ -.4<

FZ^G"[\O C XSWG!o2SW_bHmYbH—8Y-‘RTH_ H>HV˜U˜T’‡ogbSWUVgq[\G¸_§SW^gqXHh‘,RQH€_’

giHo2SVgbYi_’XSVOp‘UW^gq[‡YbPTSVO ‘RTH_ J}D[¡WH–[RQPQ¥HAXapXRQHIYiD[‡Y‹[VRC

YiHgiO[‡YiH_”YiH—cYªH€mpPQYbPTOU–dca[–^_§Hg’2[\OmzogbSpXH_i_§PTOU"dca[VO

[VooRTPTX[‡YbPTSVOH¥HW˜U,˜Q’MH>HgigbSWgXqDHXGcPQOUIH‹XSVGIoPTRT[\YbPTSVO JKJ’}SVg

H¥>[\^RQY‘OmPQOULH£YiH_§YbPTOU JKJ6J¨˜–CEDHIYiH—cYHmpPQYbPTOU{oD,[V_bH!giH&C

e8^PTgbH€_YbD[\Y$YiDHŽ‘RTH_¢XRTH[VgbRTa_bHo[Vgi[\YbH·XSVOXHgiO_’‡Œ”DHgiH[W_

YiDH‹ogbSpXH€_b_bPTOU"oD[W_§HgiHe8^PTgiH_EYiD[‡YªYbDH‹‘RTH_Z[VgbH)H[V_bPTRQa

RTSW[Wm[\dRTHV˜¢x{SWgbHS‡¡VHg’8_§Ho[\gq[‡YiPQSWO"S\$XSVOXHgiO_ŽX[\OOS\YEd,H

giH[VRQP,+H€mdca [\Oca_bPTOUVRTH‘RTH{¥SVgiG"[‡Y’Ed2HX[\^_bHwXSWOXHgbO,_

SVYbHOS‡¡WHgiRT[Vo`˜

Š H"Œ”PTRTR-Yi[MGWH"[\O­H—[\GIoRTH)¥giSVG YbDH–mpSWG"[\PTO SVŽ_bS\YEC

ŒE[\giHzHOUVPTOHHgbPTOU’&[W_–ŒŽHwd2HRTPQH¡VHwYbDH€_§H­eW^H_§YbPTSVO_•[\giH

¡WHgia PTG!o2SVgbYi[VO8Y–YbS«YiDPT_mpSWGI[VPQO£˜ON·SWO_§P]mpHg"‘gq_kY–ogiS*C

XHmp^gq[\R-ogiSVUWgi[VGIG!PTOU,’APQ Q°RN0HŒ”D[\Y}_bSV^gqXH)‘RTH_0GISW_§Y

XRQH€[\giRQa_§Ho[\gq[‡YiH0[VgbHSWo,Hgi[\YbPTSVO_ H>P4˜HV˜T’¥^O,X¨YbPTSVO,_ J˜S6<[WXqD

SWo,Hgi[\YbPTSVO)[Voo,H€[\gq_£[W_[0_§Ho[\gq[‡YiH<XSWOXHgbO£˜CEDHa}[VgbHŽ[\o C

oRTPTHm{YiS•SWdpjkHXYi_ZYbD[\Y0[VgbH‹OS\YXRTH[VgbRTa_bHo,[\gq[‡YbH€m{[‡Y[\RTR4’

_bPQO,XHhH¡VHgia&SWo,Hgi[\YbPTSVO}[\ooRTPTH_YiS&_§H¡VHgq[\RGcPTOm_#SVpSVdpjkH€X¨Y˜

N·SWO_§P]mpHg£OS‡Œ SWdpjkHXYECSVgiPQHOWYiHm0ogiSVUWgi[VG!GIPTOU’<PT Q°SUW[¡‡[IH

Œ”D[\Y·_bSV^gqXHŽ‘RTH_¢GIS8_kY·XRQH€[\giRQa‹_§Ho[\gq[‡YiHE[VgbH H4XR][V_i_§H€_¢S\ J

SWdpjkHXYi_˜ 9 S‡Œ’£H€[VXqD XRT[W_b_}SV·SWdpjkHXY)[\oo2H[Vgi_}[V_[_bHo C

[Vgi[\YbH‹XSVOXHgiO`’2d^pY}SVo2Hgq[‡YbPTSVO,_ H>P4˜HV˜T’G!HYbDSpm_ Jª[\giHOS\Y

XRQH€[\giRQaA_bHo,[\gq[‡YbH€m#˜VOmpHHm#’,GIHYbDScm_EYbD[\Y&PQGIoRTHGIHOWY0[

UWPQ¡WHO–SWo,Hgi[\YbPTSVO–[\giHª_iX[\Y§YiHgiHmIPTO•_bH¡VHgi[VRoR][VXH_˜>OAYbDH

‘gq_kYIX[V_bHV’¢_bHo[Vgi[\YbPTSVO«S\&SWo,Hgi[\YbPTSVO XSWOXHgbO,_G"[MGWH_PQY

H[W_§a«YiS­[Wmm[ OHŒ SVo2Hgq[‡YiPQSWO`’hd^pY–mpPW8–X^RQY"YbS«[Vmm[

OHŒYkaco2HS\-SVdpjkH€X¨Y˜SOYbDH)_bHXSVOmX[W_§HW’pYbS–[Wmm[IOHŒ

Ykaco,H!S\<SWdpjkHXYªP]_0H[V_baV’d^YªYiS[Wmmz[•OHŒ SWo,Hgi[\YbPTSVO{P]_

X^G‹d,Hgi_bSVGIHW˜>O"d2S\YiD–X[V_bH_’‡YiDH”‘RTH”¥SVgiG"[‡Y¢YiD[‡Y<P]_¢YiDH

GISW_§Y”XSVOc¡VHOPTHO8Y·YiS!YbDHogiSVUWgi[VG ogbSpXH_i_§SWg·P]_EPQGIo2SW_bHm

YbS YbDH^_bHgI[‡Y!YbDHogiPTXH–YiD[‡Y"_§SWGIH•XSWOXHgbO,_)[\giHAOS\Y

XRTH[VgbRTa_bHo,[\gq[‡YbH€m#˜YXŽ^pY0YbDHgbH)[VgbH)G!SWgbHYbD[VO{YkŒ·S–>[\G C

PQRTPTH_&SVhXSVO,XHgiO_”PTO{ogiSVUWgi[VG!GIPTOU˜ZXŽH_bPTmpH)SVdpjkH€X¨Yi_Z[\Om

SVo2Hgq[‡YiPQSWO_’VYbDHgbHª[\giH&OSVO C4¥^O,X¨YbPTSVO,[\RgiHe8^PTgbHGIHO8Yi_<RQP,GVH

_§H€X^giPQYkaV’RTP“¥H!XapXRTHXSWOXHgbO,_ERQP,GVH¡WHgq_§PTSVO,_’pHYiX\˜ 9 S•_§PTO C

UVRTH!_bSV^giXH)‘RTH!¥SVgiG"[‡YX[\O­_§Ho[\gq[‡YiH)ogiSVo2HgiRTaz[\RTRYiDH_bH

XSWOXHgbO_˜

CEDPT_EP]_ŽSVORTa–[\O•H—[\GIoRTHªPTOSVOH}mpSVG"[VPQO`’cd^Y”_bPTG!PTR][\g

H—[\GIoRTH_<H—pP]_kYŽPQO–G"[VO8aImpSWGI[VPQO£˜$©¢Hgba!S\YiHO`’cOS!_§PTOUWRQH

‘RTH)SVgiUW[VOP,+[‡YiPQSWOX[\Oz_i[‡YiPT_§¥a[VRQR-mpH€_§PTgbH€m{_§Ho[\gq[‡YiPQSWO_ES\

XSWOXHgbO_˜

*pHo[Vgi[\YbPTSVOwSVŽXSVOXHgiO_0PT_[VRT_bS[VO P]_i_§^H!¥SWgD8^GI[VO C

gbH€[Vm[VdRTH}‘RQH€_EYbD,[‡Yª[VgbHOSVYZDc^G"[\O CXSWGIo,S8_§H€m#’HV˜U˜T’RTSVU

‘RTH_’Œ”DHgiH0YbSIP]_§SWRT[\YbH[I_§PTOUVRTHXSWOXHgbOPT_”mP[8–X^R“Y€˜

Š H0ogbSWo,S8_§Hª[‘RTHªG"[VO[\UWHGIHO8Y·_bHgi¡cPTXH”YbD[\YŽo2HgiGIP“Yq_

YbS}_kYiSVgiH<‘,RQH€_SV,[\O![\gidPQYbgq[\giaZ¥SWgbG"[‡Y€’‡PQO!_§^,XqD‹[ªŒŽ[a0YbD,[‡Y

YbDH)^_§HgZX[VO{G"[\OPTo^R][‡YiH}YbDHG¶YiDgiSV^UWDogbSVjkHX¨YiPQSWO_ES\

¡‡[\giPQSW^_)XSVOXHgiO_˜ CEDPT_‹gq[\P]_§H€_P]_b_b^H_‹S\]\³¯^‡œ±`_•[\Om

±2°\›œ[_8°‡®7œ±`_)PQO,_§P]mpH)[!‘RTH}YbS•_§o2HXP“¥a ›œ>ž-Ÿ¨’,SVE³a²V°\®4œ±3_[

‘RTH·YiDgiSV^UWD‹PQYi_-¡cPTHŒ&_’\[\Om‹S\¢´K\±2´³p¯¨¯b±®c¡cPQHŒ ^om[‡YiH_˜

CEDH0‘RTH0Œ”PTRTR#d,HX[\RTRQH€m"YbDH!›€œ>ž<i²0 T˜hCEDH0Yq[V_bG"S\£YiDH

ogiSVo2SW_bHm)_bHgi¡cPTXH·P]_$YbS}G"[\PTO8Yi[VPQOIXSWDHgiHOXH·d2HYkŒŽHHO)YiDH

›œ>ž<q² Tª[VOm{PQYi_0^om[‡Yq[\dRTH!¡8PTHŒ&_’#[\Omzd,HYkŒ·HHOzYiDH

¡cPQHŒ&_ZYiDHG"_bHRT¡VH€_˜c O­SVgqmpHgZYbSS\šHg[–UWHOHgbP]X)_bHgi¡cPTXHV’

YbDP]_ªPT_ZgbH€[\RTPW+Hm[‡Y&YiDHSWo,Hgi[\YbPTOU–_§ap_§YbHG¶RTH¡WHR7˜d*pS’YiDH

UVHOHgiPTX0_bHgi¡8P]XH0P]_ŽYbDHG"[\O,[\UVHGIHO8Y·SV-XSVGIo,S8_§PQYbH0SVo2Hg C

[‡YiPQOU _§ap_§YbHG SVdjkHX¨Yq_’YbDHPTg)o[Vg§Yq_’-[\Om­YiDHAXSVDHgbHOXH

S\$YbDHŒ”DSVRTHV˜

CEDHŽXgb^p—SVSV^g$ogiSVo2SW_bP“YiPQSWOPT_YiSZ^_bH<¥SWg£YiDH_bHŽG!H€XqD C

[\OP]_bGI_$YiDH&_i[\GIHEPQO8YbHg§>[WXH”[V_¢¥SVge T”Ÿ^Ÿ¨®gf‹Ÿq˜AO"_§DSVgbY’

[z›€œ>ž<q²)‘RTH‹P]_0_§SWG!HŒ”D[‡Y0RQP,GVH![–GISV^OWYC7o2SVPTO8YªSV·["‘RTH

_§ap_§YbHG˜h*pS’&YiDH ‘RQH«_bac_§YbHG S\šHgq_–YiDH«PQO8YbHg§>[WXHw¥SVg

e8^HgiacPQOU0¡cPQHŒ&_’‡O,[¡8PTUW[\YbPTOUZd2HYkŒŽHHO‹¡cPTHŒ&_’\[\Om‹^om[‡YC

PQOUZ¡cPQHŒ¬XSWOWYiHO8Yi_˜CEDPT_ogiS‡¡8P]mpH€_`[&^OP“¥acPTOU&¥gq[\GIHŒŽSVgKG

¥SVgZ[VooRTPTX[‡YiPQSWO•RTH¡WHR#YiS8SWRT_’[VRQRTS‡Œ”PQOU‹YiS–XSWG)dPTOH}YbDHG˜

CEDP]_"‘RTHw_bac_§YbHGŒ”PTRTRZd2HwX[VRQRTHmYbDHi”°‡¯¨®4Ÿjk Qlhœm T

L^Ÿ¨® f H>f$SV>¤V*•¥SVg&_bDSVgbY J˜

CEDHhoR][\OS\cYiDPT_[\gbYbP]XRTH¢PT_[V_¥SWRQRTS‡Œ&_˜ Š Hh‘gi_§Y£ogiH_bHO8Y

YbDH!ogiPQO,XPToRQH€_0S\¢YbDHR”°\¯¨®>Ÿ Qnhœm TnL^Ÿ¨®f PTOi*cH€X"C

YbPTSVOJ˜wCEDHO`’¢Œ·HAH—po,S8_§H•[\O¬PTGIoRQHGIHO8Yi[\YbPTSVO _iXqDHGIH

PQOo*pHX¨YiPQSWO¬v˜ Š H–ogiH_bHO8Y‹[VmmpP“YiPQSWO[\Rh¥H[‡Yi^giH_PTOp*cH€X"C

YbPTSVOzs,˜c*pHX¨YiPQSWOq#–mH_iXgiPQd2H_ZH—po,HgbPTGIHO8Yi_0[\O,mYbDHPQg0giH&C

_§^R“Yq_˜r*cHXYbPTSVOo!wogiH_bHO8Yi_‹gbHRT[\YbH€m«Œ·SWgbGp_˜w¤$PQO[VRQRTaV’<Œ·H

ogiH_bHO8YE¥^pYb^giH_§H€[\gqXqD•mpPTgiHX¨YiPQSWO_ŽPQOl*cH€X¨YbPTSVOzt‹[\OmXSWO C

XRT^mpHPTOs*cHXYbPTSVOu˜

t>t uwvgxyz

¸ $ Ž”

!"$#&%'(!)$

µ¶›œ>ž P]_ª_bo,H€XPQ‘Hmw[V_0["ogiSVo2HgbYka•SV-o,[\gbYi_ªS\h[z›€œ>ž<q²

k Q+*HV˜U˜T’<YiSd2H [ mpH€XR][\gq[‡YiPQSWO PQO¸[¬ogiSVUWgi[VG ‘,RQHW’ZSVg

YiSXSVOXHgiO{¡[VgbP][\dRQH-,2˜}µ¶›œ>ž mpHYbHgiGIPQOH_}[z›€œ>ž T’

Œ”DP]XqDzXSWO8Yi[\PTO_EH—p[WX¨YiRQaA[VRQR`YbDHo,[\gbYi_”SVYiDH"›œ>ž<q²T Q

YiD[‡YA_i[‡YiPT_§¥a¬YiDH{ogiSVo2HgbYka*HV˜U˜T’<[VRQR&mpH€XR][\gq[‡YiPQSWO_!S\[

ogiSVUWgi[VG ‘RTHV˜

Š

HogiSVo2SW_bH["_bXqDHGIHd8aŒ”DP]XqD{ogiSVo2HgC

YiPQH€_‹[VgbH–[\Y§Yi[WXqDHm YiSzo[\gbYi_)S\&[‘RTHA[V^pYbSWGI[\YbP]X[VRQRTaw¡cP][

ogiSVUWgi[VG"_ZX[VRQRTHm¬®4¯b°\±Ÿ²‡³´q¯qŸ¨˜ *cS’`[A¡8PTHŒ ‘RQH!P]_0mHYbHgEC

GIPTOHmdca•XSVGIo[VgbPTOU‹YbDHogbSWo,Hg§YiPQH€_”[‡Y§Yq[VXqDH€m–YiS"o[\gbYi_

SV‘RTH[\O,m–YiDHogiSVo2HgbYkaIYbD[\YZ_§o2HXP“‘H€_EYbDH¡8PTHŒ˜

CEDH)GIS8_kY0UVHOHgq[\R`ogiSVo2HgbYkaV’/.YiSAd2H‹["o,[\gbYZS\<[I‘,RQH+0q’

mpHYbHgbGIPTOH_•[ ¡cPQHŒ¶‘,RQHwYbD[\YAPT_•_§PTGIoRTa [ XSVoca S\}YbDH

¡cPTHŒŽHm"‘,RQHW˜hC£ScSI_§o2HXP“‘,X0ogiSVo2HgbYbPTH_’cHV˜U˜T’1.YiS‹d2H[!mHX"C

R][\gq[‡YiPQSWOw[\Om [•XSVGIGIHO8Y0¨’`mpHYbHgiGIPQOH!¡cPTHŒ‘,RQH€_ªŒ”DHgiH

OSAo[\gbY&S\-YbDH¡cPQHŒ·H€mA‘,RQHP]_&ogbH€_§HOWY€˜ŽCEDPT_ZRT[\Y§YbHgYGcPQO,m

SV$¡cPTHŒ/P]_&X[\RTRQH€m­gfYa®^‡˜

LZ_bH¥^R$ogiSVo2HgbYbPTH_”[VgbH_bSVGIHŒ”DHgiHd,HYkŒ·HHOYbDH‹GISW_§Y

UWHOHgi[VR&ogiSVo2HgbYkaV’&[\O,m YbDH S‡¡VHg C _§o2HXP“‘,XSWOH_˜fhgiSVo C

Hg§YiPQH€_[\OmwYbDH–UVHOHgq[\RTP“Yka{SWgimHgiPQOU•¥SVgiG [mpPTgiHX¨YiHm«[ C

XacXRQP]X‹UVgq[\oD H4[4F&µ&L J˜`x{SVgiHS‡¡WHg€’mpPQš2HgbHO8Y0ogiSVo2HgbYbPTH_

G"[a–_bo,H€XPQ¥a"YbDH_i[\GIH0¡8PTHŒ’cHW˜U,˜Q’1.kYbS!d,H[!mpHXRT[Vgi[\YbPTSVO/0

[VOm2. YiS{d,H–[{mpH€XR][\gq[‡YiPQSWO [\O,m OS\Y)[XSWG!GIHOWY0"mHYbHgEC

GIPTOH”YbDHª_i[\GIH”¡cPQHŒ ‘RTHV˜

Š

HZ_i[aYbD,[‡Y3.§OSXSWGIG!HO8Y0”PT_

OSVY}[•ogiSVo2Hg!œ±2´¯bgfI±®-S\4.§mpH€XR][\gq[‡YiPQSWO/0q˜CEDP]_0OS\YiPQSWO

P]_¥SWgbG"[\RTRTa mpH‘OHm«PTOo*cH€X¨YbPTSVO J˜#p˜

9

S\YiHIYbD[\Y$.§mHXR][ C

gq[‡YiPQSWO/0GI[ad2H‹[AogbSWo,Hg)œ±´¯bgf"±,®SV5.kOSXSWG!GIHOWY0q˜

CEDHEogiSVo2HgbYka'.kYbSXSWOXHgbO‹¡[VgbP][\dRQH6,70·PT_¢[0ogiSVo2Hg-PTOXgiH&C

GIHO8YhSV/.bmpHXRT[Vgi[\YbPTSVO/0<SWORQaPQ&,P]_-OS\Y-YbDH”SVORTampHXRT[VgbH€m

YiDPQOU˜<CŒ·S"mpPQšHgiHO8Y”PQOXgbHGIHO8Yi_”SV£YiDH_b[VGIH0ogbSWo,Hg§Yka

G"[a‹_bo2HXPQ¥a‹YbDHZ_i[\GIH”¡cPTHŒ˜-CEDH”‘RTHZ_bac_§YbHG G"[\PTO8Yi[VPQO_

YiDHZgiHR][‡YiPQSWO_hd2HYkŒŽHHO–ogiSVo2HgbYbPTH_’W[\O,m"X[\O•XSVGIo^YbHZSWO

mpHG"[\Om{[VRQR`o2SW_i_bPQdRTHPTOXgiHGIHOWYq_EYbS–[VOcaAogiSVo2HgbYkaV’pYiD[‡Y

_bo,H€XPQ¥a•mpPQšHgiHO8Y&¡cPQHŒ&_˜

O _b^GIG"[\giaV’[z›€œ>ž¬SWOw[{›€œ>ž<q²k QZPT_0_§o2HXP“‘,Hmzdca

[AogbSWo,Hg§YkaW’,PQY0mHYbHgbGIPTOH_0[{›€œ>ž T”YiD[‡YXSWOWYq[\PTO_Z[VRQR

o[Vg§Yq_”S\$YbDH¡8PTHŒŽHm•‘RTH}YbD,[‡Yª_i[‡YiPT_§¥a–YiDHogiSVo2HgbYkaV’[\O,m

PQYImHYbHgbGIPTOH_‹[\R]_§S [wXSWRQRTHXYbPTSVO SV&ogbSWo,Hg)PTOXgiHGIHOWYq_˜

Oz_§Yi[VOm[\gqmA‘RQH_bap_kYiHG¶Œ·SWgim_’p[›œ>ž«SVO{[›€œ>ž<q²0 Q

P]_ª[AmpPQgiHXYbSWgba•YbD[\YªP]_Z[WXXH€_b_bPTdRQH)¡8P][–["o,[‡YbD HYbDH)ogiSVo C

Hg§Yka J¨˜ Y”XSWOWYq[\PTO_Ž[–›€œ>žl Th¥SWgbGIH€m"S\[VRQR2o[Vg§Yq_<SV`YbDH

¡cPTHŒŽHmA‘RQH_i[‡YiPT_§¥acPQOU‹YbDH0ogbSWo,Hg§YkaW’c[VOm_§^dmpPTgbH€X¨YiSVgiPQH€_

YiD[‡YZX[\Od,H[WXXH€_b_bHm•¡cPT[‹YiDHogiSVo2HgEPQO,XgiHGIHO8Yi_˜

f¢[\gbYi_A[VgbH{giHogbH€_§HOWYiHm dca YiDHPTgXScSVgqmpPTO[‡YiH_IPTO YbDH

¡cPTHŒŽHmI‘RTH*-RTPQOHªOc^G‹d,Hgi_·P“£YbDH}_§acO8Yi[\—"PT_·RQPTOH+C7SWgbPTHO8YbH€m

H>HV˜U˜T’hRQP,GVH{G"[VO8a XSWOp‘UV^gi[\YbPTSVO¬‘,RQH€_–[\Om RTSVU­‘RTH_ J¨’ESVg

_§YbgiH[VG PQO8YiHgi¡[VRT_ PQ«YbDH _bacO8Yi[‡—¶PT_ GISWgbH_§Ybgi^X¨Yi^gbH€m

H>HV˜U˜T’G"[\Oca _bSV^gqXH"‘,RQH€_ J˜ N·ScSVgqmpPTO[‡YiH_)[VgbHASVORTa ^,_§H€m

PTOzYiDHYq[\dRTH_ªS\hf-S\>¤V* H2YiDH)^_bHg0OH¡VHg0_§HH_&YbDHG˜TO C

_§YbH€[Vm#’YbDH^_bHgªmpH_bPQUWO[‡YiH_E¡cPTHŒ&_”^_bPTOUIYbDH)ogbSWo,Hg§YiPQH€_˜

CEDHIogiSVo2HgbYbPTH_Z¥SVgiG YbDH‹o[\YbDwYbS•YbDH"mpPTgbH€X¨YiSVgiaŒ”DHgiH

YiDH¡cPQHŒ/‘RTH}gbH€_§P]mpH€_˜

9 [¡cPTUW[‡YiPQSWO­[VGISVOU¡cPQHŒ&_[Vm[\opYq_}ogbPTOXPQoRTH_S\EDPQHgEC

[VgiXqDP]X[VRZO[¡cPTUW[\YbPTSVO`˜ OYiDH­_i[\GIH­ŒŽ[a [V_•DPTHgq[\gqXqDPC

X[VRŽO,[¡8PTUW[\YbPTSVO¬_§Yi[Vg§Yq_)¥giSVGYiDHG!S8_kYIUVHOHgq[\REmpPTgbH€X¨YiS*C

gba H¥HV˜U˜T’YbDH"gbScS\Y€’`SVg[DSWG!H€mpPTg J’£[\Om­UWS8H€_}mpS‡Œ”OwYiDH

DPTHgq[\gqXqD8a¥SWRQRTS‡Œ”PTOU_b^dmpPTgbH€X¨YbSWgbPTH_’`O[¡cPTUW[\YbPTSVO [VGISVOU

¡cPQHŒ&_{_kYq[\gbYi_•¥gbSWG YbDH«GISW_§Y{UVHOHgq[\R0¡cPQHŒ’0[VOm/UWScH_

mpS‡Œ”O•YbDHMF&µ&L ¥SVRTRTS‡Œ”PQOU!ogiSVo2Hg”PTOXgiHGIHOWYq_˜

µZRQR`YbDP]_”PTO8¡WSVRT¡VH€_Ž_bH¡WHgq[\RGIHXqD[VOP]_§G"_8*

~W˜{CEDHzœ±2²WWœ±3_ f"q´:9°‡±,œ]Ÿf¦dca Œ”DPTXqD«Yigi[VO_bm^XHgi_

mpHXSVgq[‡YiHªo[Vg§Yq_ES\$‘RTHŒ”P“YiDogbSWo,Hg§YiPQH€_˜

J˜yCEDH \³¯^‡œ±`_ f"q´:9°‡±,œ]Ÿf YbD[\Y XSVGIo[VgbH€_wYiDH

ogiSVo2HgbYbPTH_"_bo,H€XPQ¥a8PTOU«¡cPQHŒ&_’E[\O,m¬YiDH{ogiSVo2HgbYbPTH_!YbD,[‡Y

mpHXSVgq[‡YiHªo[Vg§Yq_ES\$‘RTHV˜

v˜‹CEDH±2°\›œ[_8°‡®7œ±`_ f"i´;9°\±œ]Ÿf dca{Œ”DP]XqD ogiSVo2Hg0PTO C

XgiHGIHO8Yq_<SV`¡8PTHŒ ogbSWo,Hg§YiPQH€_<[\giH&ogiSVo2SW_bHm"[W_·_b^dmpPTgbH€X"C

YbSWgbPTH_˜

s,˜ CEDH ³a²W°‡®7œ±`_if"q´:9°‡±œ]Ÿf!’<[V_‹GISpmpP“¥acPTOU [z¡8PTHŒ

G)^_§Y&GISpmpP“¥aAYbDH¡cPTHŒŽHmA‘RTH[\OmAYbDHSVYbDHg”¡cPQHŒ&_˜

CEDH‘,gi_§Y«YbDgiHH GIHXqD[VOP]_§G"_­PQODHgiP“Y«¥giSVG GIHXqD,[ C

OP]_§G"_ ŒŽH¸D[¡VHogiSVo2SW_bHm ¥SVg °=<>b_Vœ>´ <œm QOL^Ÿ¨®gf

H>l *p¤V*?>uA@J¨˜hCEDH}H€_b_bHOXH}S\$l *p¤V*–PQYEYbSIGIP“—eW^Hgia8PTOU

[\Om–O[¡cPQU8[‡YbPTSVO!¥SWgh‘RTH_ŽmpHXSVgq[‡YiHmIŒ”PQYbD–RTSVUWPTX[\RogiSVo2Hg C

YbPTH_˜!CEDH!G"[VPQO«mpPQš2HgbHOXHId2HYkŒŽHHO«le*¤ * [\O,mwf-S\>¤V*

PT_·YiD[‡YEYbDHZYiHgiG!PTO[VR2SWdpjkHXYi_ŽS\£YbDH0‘RTH0_bap_kYiHG [VgbHZ‘RQH€_

¥SVg0le*p¤V*’2[\Omo[Vg§Yq_”S\-‘RTH¥SWg&f-S\>¤V*˜ *pS’f-SV>¤ *zX[\O

d,H_bHHO[W_”["l`SWUVP]Xª¤$PTRQH *cap_§YbHG ¥SVgE‘,RQHXSWO8YbHO8Yq_˜

O YbDH‹¥SWRQRTS‡Œ”PTOU•_bHXYbPTSVO_’#Œ·HIŒ”PTRQR$‘gq_§YmH_iXgiPQd2H)YiDH

^_i[\UVHS\ZYbDH ”°\¯¨®>Ÿjk Q <œm QlL^Ÿ¨® f Œ”PQYbD [ _bPQGIoRTH

H—[\GIoRTHV’8YiDHO–ŒŽH0Œ”PQRTR2mH_iXgiPQd2HZGISVgiHZogbH€XP]_§HRQa‹YbDH}mpPQC

¥HgiHO8Y&GIHXqD[VOP]_§G"_ŽS\-f-S\>¤V*˜

B CEDGF %'% %!HIJK#&LNM

µYkacoPTX[\R`_bDHRTR£_bHe8^HOXH}^_bPQOU!f-SV>¤ *•ŒŽSV^R]m•d,H7*

OPAQSRTUWV8XSY[Z\Z^];R

P _8X[UY&`8_aX[U ,cbed

f

_8X[Uhg^i

j

Tlk/km7n/U&` , Q=P b i

o

gp , i

q

Yr[nc_aX[U/Y&`sktU[u/m7n/n^v2w

,

px\uwv

,cb

i

y

n[m7U\z[n\Xhg={

f

| }

~

_8X[UY

f

`8_aX/Uh b€d



n[m7U\z[n\X‚{

o

PAƒ

}

N·SWGIGI[VOm P _§DS‡Œ&_<YiDHXSWO8YbHO8Y”S\YbDH¡cPTHŒŽHmlN ‘RTH

Y[Z\Z^];R

˜

O f

Q„rGZ7Y/Y…ks†cZ1z/X[U„Y/Z/Z^];Re‡1rlZ\Y/Y…k

V/VaU/nlTXcktu7zcRm7n…k1p…Rˆ1U\nlTtXck1uzR1m7n&v

‡1‰lZA†cm[‡1rlT\ul‡a†…glˆU/nlTtXck1uzR1m7n

V/V†cm7UlT\p[‡U1†Gr…‡trGZ\Y\YGkˆUA†Gr

N·SWGIGI[VOm

f

G!SW^O8Yi_ZP“Y0^OmpHg ‡1rGZ7Y/Y…k ’^_bPQOUA["UVHO C

Hgq[\R<Ybgq[\O_imp^XHg R7ˆU/nlT1Xck1u7zcR1m7n ’£[VOm«YbDHA^_bHgImpH‘,OHm

†…glˆU/nlTXk1u7zcRmn ’ŽYbS[W_b_bSpXP][‡YiH ogiSVo2HgbYbPTH_•YiS o,[\gbYi_S\

YbDH‘RTHV˜ O YiDPT_ H—[VG!oRQHW’)YiDH o[Vg§Yq_wŒ”PTRTR‹d2HRTPTOH_˜

fhgiSVo2HgbYbPTH_[\giH* YiSŒ”DPTXqD/¥^OX¨YiPQSWO/d2HRTSVOU8_•YbDP]_RQPTOH

ŠŒ‹>tŠŽ

1 numbers

line debugging specification

2 3 4 5 6 7 8 9 10 properties

var:z

var:y

var:x

function:f2

function:f

¤$PTUV^giH‹~7*hµ‘RTHXSVO8YiH—cY

H J¨’#Œ”D[\Y}[VgbH)YbDH!¡‡[\giPT[VdRQH€_&PTOc¡VSVRT¡VH€m{PTOzYbDPT_

RTPQOHH J’\SVg¢mpScH_YiDPT_$RTPQOHŽD,[¡VH·[ ª[W_§o2HXY’

SWg[ "! #$‹[V_bo2HX¨Y€˜ Š H·X[\O}gbHogiH_bHO8Y£_§^,XqD[V_i_§S<C

XPT[\YbPTSVO_·dca![)GI[\YbgiP“—Q œ±¨Ÿ&%Aa2¯KKa¯¨®7œ>¨Ÿ·Œ”DPTXqD–¥SVgiGI_hYbDH

k QI´K\±® W®1H4_§HH¤$PQUW^gbH"~}¥SWgZ[\OPTRQRT^_§Ybgq[‡YiPQSWO J¨˜EµoR][VXH

H‡1U1†Gr…‡1rlZ\Y/Y…k7ˆ1U1†Gr JP]_–UWPQ¡WHO YbSogiSVUVgq[\G rlZ\Y/Y…ks†Zz/X[U

PTO SWgimpHgYbS­_kYiSVgiH"YbDHA‘RTH•XSVO8YbH—cY‹SVO¬mPT_bG«Œ”P“YiD S\YiDHg

GIHYq[ Cm[‡Yq[I_§^XqD[V_E¡cPTHŒ/‘RQHXSVO8YbHO8Yi_˜

O j Q R1u‡1rGZ\Y\Y…k

O o Q('lk

u[m*)/z++c_aX,+l‡hkArGmGR/_tY_\RTUc_1ZX…‡

Y7z/XcRAUc_1ZX.-Yl‡ Y7z\XcRtUc_1Z1X.-Y

f ‡

/

T7n0-, ‡ / T7n0-gG‡

/

T7n0-l‡

Y[Z/Z^]:R

N·SVGIG"[\Om

o

D[W_¢YkŒŽSHšHXYi_˜¢¤PTgq_kY€’WPQYŽXgbH€[‡YbH€_<["›€œ>ž

k Q Y/Z/Z^];R Œ”DP]XqDAXSVO8Yi[VPQO_hYbDHªo[\gbYi_<S\‘RTHªXSVgigbH€_§o2SVOm C

PTOU&YiS&YiDPT_$mpPTgbH€X¨YiSVgiaV˜£µª_`YiDH·mpPTgiHX¨YiSVgiaZP]_`YiDH<giScS\Y£SVpYbDH

GISV^OWYiHm0‘RTH<_bap_kYiHG H ‡1rlZ\Y/Y…k PQO}YiDHhH—p[VGIoRQH J¨’€OS”ogiSVo C

Hg§YiPQH€_D[¡WH"d,HHO _bHRTHXYbHm«aWHY‹[VOm­YbDH–¡cPQHŒ Œ”PTRTR·D[¡WH

H—p[WX¨YiRQaAYbDH)_i[\GIHXSVO8YbHOWYq_”[V_EYiDH¡cPTHŒŽHm•‘RTHV˜d*cHXSVOm#’

PQYogbH€_§HO8Yi_ªO[¡cPQU8[‡YbPTSVOwPQOXgbHGIHO8Yi_ªYbS•YbDH‹^_bHg[W_0_b^d C

mpPTgiHX¨YiSVgiPQH€_IH>[W_ Y7z/XRtUc_1ZX0-Y ’ u[m*)\z,++c_aX+ ’-˜˜˜ J˜CEDSW_bH

_b^dmpPQgiHXYbSWgbPTH_}XSWgbgiH_bo2SVOmYiS•ogbSWo,Hg§YiPQH€_ZYiD[‡Y[WX¨Yb^,[\RTRQa

giH‘OH}YbDHX^gbgiHO8Y”¡cPQHŒ’Œ”P“YiDSV^YEG"[G8PTOUIPQY&HGIopYkaV˜

O q Q R1uhY7z/XcRAUc_1ZX.-Y

N·SVGIG"[\Om

q

giH‘,OH_ŽYiDH¡cPQHŒ’_§HRQH€X¨YiPQOUIo[Vg§Yq_ES\$YbDH

¡cPTHŒ ‘,RQH{D[¡cPTOU YbDH1 ogbSWo,Hg§YkaW˜ CEDH{X^gEC

giHO8Y{mpPQgiHXYbSWgba XqD[VOUVH€_–YiS ‡1rGZ\Y/YGk7‡7Y7z/XRtUc_1ZX2-Y ’·[\O,m

YiDPT_ªo[\YbDzXSWgbgiH_bo2SVOm_ŽPTO8YbHgiO[VRQRTaAYiS–[l WK_\œ>´q°M \³¯^‡’2PTO

YiDPT_ZX[V_bH3$$˜

O y Q('lk

u[m*)/z++c_aX,+l‡hkArGmGR/_tY_\RTUc_1ZX…‡

/

T7n0-, ‡ / T7n0-gG‡

Y[Z/Z^]:R

1 numbers

line debugging specification

2 3 4 5 6 7 8 9 10 properties

var:z

var:y

var:x

function:f2

function:f

> ls

var:x/ var:y/

> cd function:f

specification/

debugging/

¤$PQUW^gbHJl* 9 [¡cPQU8[‡YiPQSWOAPTO[‹‘RTHXSWOWYiH—cY

µZUW[VPQO`’\XSVGIG"[\Om

y

_§DS‡Œ&_DS‡Œ¬[ªOHŒ ¡cPTHŒ ‘,RQH Y[Z\Z^];R

D[V_ªd2HHO­XgiH[\YbHm`’XSVO8Yi[VPQOPQOUAYbDP]_ªYbPTGIH‹RTH_i_ZRTPTOH_ªYbD,[‡Y

YbDH­¡cPQHŒ·H€m ‘RTHV’ª[VOm _bDS‡Œ&_–DS‡Œ YiDHwogbSWo,Hg§Yka PQO,XgiH&C

GIHO8Yi_E[\giH&giHR][‡YiHmIYiSYbDH0X^gbgiHO8YEeW^HgiaV˜AOmpHH€m#’c^OmpHg

rGZ7Y/Y…k7‡7Yz/XcRtUc_tZX.-Y ’ /

T7n0- P]_-OS}RTSVOUWHg$RQP]_kYiHm![V_¢[VO)PTO C

XgiHGIHO8Y€’c[W_hYiDH}X^gigbHO8Y·¡cPQHŒ ‘RTH H>Œ”DPTXqDXSWOWYq[\PTO_·SVORTa

YbDHªXSpmpHES\2YbDH Y ¥^OXYbPTSVO J¢XSVO8Yi[VPQO,_-OS}RQPTOH&^_bPTOU}¡[VgbPC

[\dRTH  H>_bHH{¤$PTUV^giHzJz¥SWg"[\O PQRTRQ^,_kYigi[\YbPTSVO J˜ xzSVgiHS‡¡VHg’

Y7z\XcRtUc_1Z1X.-Y PT_Ž[\R]_bSOS\Y<RTP]_kYiHm"d2HX[\^_bHEYbDP]_Ž_§^dmpPTgbH€X¨YiS*C

gbaImpScH_<OS\Y·gbH‘OH”YiDHZ¡cPTHŒ’Vd^pY£jk^_§Y·UWHOHgi[\YbH€_¢H—[VXYbRTa

YbDH_i[\GIH}¡cPQHŒ [W_ŽYbDHX^gbgiHO8Y”SVOHV˜

O |

QSR1u54`u[m*)/z,++c_aX,+ 6kArGmGR\_tY_7R1TUc_AZX b

N·SWGIGI[VOm

|

PTRQRT^_§Ybgq[‡YbH€_ YiDH o2SW_i_§PTdPTRQPQYbPTH_ S\

YbDHye8^Hgia R][\OUV^[VUVHV’XSWG)dPTOPTOU OHUW[\YbPTSVO H¥Œ”giP“Y C

YbHO 4J [\Om mpP]_¥jk^OX¨YiPQSWO H¥Œ”giP“YbYbHO 6J˜ CEDH _bRT[W_§D

X[VO d,H gbH€[Vm [V_ [ XSWO‡jk^OXYbPTSVO`’ _bS YiDH o[\YbD

‡1rlZ\Y/Y…k7‡Y7z/XcRtU_1ZX.-Yl‡741`u/m*)7z,++_8X+ 6 kArGmlR/_AY_\RtT7U_tZ1X b

XSWgbgiH_bo,SWOm_ŽRTSVUVP]X[VRQRTaIYbS

98;:.<&=?>;"! #$A@i˜

O ~ QB'lk

/

Tn0-, ‡ / Tn0-gG‡

Y[Z\Z^];R

O 

QSRTUY/Z/Z^];R

_aX/U Y&`s_aX[U ,cb„d

_aX/Ug^i

]/]\]/]/]/]/]\]/]/]/]/]\]/]/]/]C-sP

gp , i

]/]\]/]/]/]/]\]/]/]/]/]\]/]/]/]C-

f

nlmU\z[n\Xhg={

f

}

]/]\]/]/]/]/]\]/]/]/]/]\]/]/]/]C-

j

t>t uwvgxyz

1 numbers

line debugging specification

2 3 4 5 6 7 8 9 10 properties

cd function:f/!(debugging|specification)

not not

line #1 line #2 line #4 line #6 line #7

var:z

var:y

var:x

function:f2

function:f

...:1 ...:2

...:3

¤$PTUV^giHvl*kN·giH[‡YiPQSWOASV-[!¡cPQHŒ

N·SVGIG"[\Om

~

_bDS‡Œ&_YbD,[‡Y£YiDHhRTPT_§YSV_§^dmpPTgbH€X¨YiSVgiPQH€_#D[V_

d2HHOAgiHmp^XHm–YbS

/

T7n0- ,![VOm

/

T7n2-g H>_bHH}[\R]_§S)¤$PTUV^giHªv J¨˜

N·SWG!G"[VOm



_§DS‡Œ&_ŽYiDHXSWOWYiHO8Y”S\$YbDH}¡cPTHŒ ‘RQHW˜hl`PTOH_

OSVY<_b[\YbP]_k¥acPTOU}YbDH&X^gigbHO8Y¢e8^Hgba‹D[¡VHEd2HHO‹‘,R“YiHgiHm!SV^pY

[VOmAgiHoRT[WXHm•Œ”PQYbD_§o2HXPT[VRVfI°\¯Ÿ¨’RTPWGWH ]\]/]/]/]/]\]/]/]/]/]-sP

OPAƒ[QRTU Y[Z\Z^];R 6 km\u‚V1mSk7‡gG‡7Q€Y[Z/Z^]:R

N·SVGIG"[\Om PAƒ

_bDS‡Œ&_!YiD[‡Y"YiDHz¡cPQHŒ&_–[\giH«³a²W°‡®°g Q

›€œ>ž-Ÿ¨’-[\Om«X[\O­d,H–GISpmpPQ‘Hm­dcaw[VO8azYbScSVR]_˜–CEDH"HšHX¨Y

SVYiDPT_ZXSVGIG"[\O,m•P]_EYiS!giHoRT[WXH[\RTR`SpXX^gbgiHO,XH_ŽSV

g

’`œ±

®Œ9!´³p¯¨¯i±,®<›€œ>žsk Q’Œ”P“YiD  ˜

OP/PtQ 'lk

/

T7n0-, ‡ / T7n0-l‡

Y[Z/Z^]:R

N·SVGIG"[\Om P/P _bDS‡Œ&_-DS‡ŒGIScmP“¥acPTOUYbDH”¡8PTHŒ [‡šHXYi_

YiDH)ogiSVo2HgbYkaAPTOXgbHG!HO8Y H>XSVGIo[\giHŒ”PQYbD{giH_b^R“YªS\hXSWG C

G"[\O,m

~

J˜

OP

f

Q"r [u

‡1rGZ\Y\Y…k7‡7Y7z\XcRtUc_1Z1X.-Y[‡41`:u\m*)/z++_aX+ 6karlmlR[_aY_\R1TU_1ZX b ‡

OP

j

QR1u ‡1rGZ7Y/Y…k

OP

o

QRTU Y[Z\Z^];R

_aX[UY&`8_aX/U

,cb€d

_aX[U i

TGk/kmn/U ` , Q=P b i

p , i

Y7r[nc_8X[U[Y&`skAU[u[m7n/n v?w , px/uwv ,cb i

nlm7U\z/n\XW{

f

}

_aXlYY

f

`8_8X[Uh bed nlmU\z[n\X‚{

oS}

¤$PQO[VRQRTaV’\XSVGIG"[\Om P o

_bDS‡Œ&_`DS‡Œ­GISpmpPQ¥acPQOUªYbDH·¡cPTHŒ

[\š2H€X¨Yi_ZYbDH)S\YiDHgª¡cPQHŒ&_’2dca•ogiSVo,[\UW[\YbPTOUIYbDH)GISpmpP“‘2X[ C

YiPQSWO`˜

7% !J!%'H

µ‘,RQHZYbgq[\O_imp^XHgh¥SWg<f-S\>¤V*A[‡Y§Yq[VXqDH€_<[)ogbSWo,Hg§Yka‹YbS‹H¡ C

Hgia o[\gbYAS\)[¬‘RTHV˜ CEDH mpH‘OPQYbPTSVOSV)[¬o[Vg§Y•X[\Od2H

RQPTOH+C7SWgbPTHO8YbH€m5HVP7˜HV˜T’Vo[Vg§Yq_¢[\giH”RQPTOH_˜-µ&RQYbHgiO[\YbPT¡VHRTaV’WP“YŽX[\O

d,HI_§Ybgi^X¨Yi^gbH+C7SWgbPTHO8YiHm5HP7˜HW˜Q’o[Vg§Yq_ªXSVgigbH€_§o2SVOmYiSAOSpmpH€_

S\YiDH«[\d_§Ybgq[VXY•_§acO8Yi[\— YbgiHHwSVYbDH ¡cPTHŒŽHm ‘RTHV˜ ¤SVg

YbDH_b[GVHIS\&_bPQGIoRTP]XPQYkaV’-Œ·HAŒ”PQRTR<SWORQa«mpH¡VHRTSVo­YiDH–RTPQOH+C

SVgiPQHO8YbHm"X[V_bHZPTO"YbDPT_Ž[\gbYbP]XRTHV˜ O">[WX¨Y’cSWo,Hgi[\YbPTOU_§ap_§YbHG

PT_i_b^H_”mpSIOSVYZmpHo2HO,m•SWOAYiDP]_”SVgiPQHO8Yi[‡YiPQSWO`˜

*pH¡VHgi[VRVYigi[VO_imp^XHgi_$X[VO)d2HEUVPT¡VHO)YbSªYbDH rGZ\Y/YGks†cZz/X/U

XSWG!G"[VOm5H#f-S\>¤V*{Œ”PTRTR$X[V_iX[VmHYbDHG˜}CEDPT_ªG"[MGVH€_&YiDH

_§ap_§YbHGyH€[V_bPQRTaH—cYbHO_§PTdRTHV˜ ¤SVg H—[\GIoRTH YbSmpH‘,OH[

GIHGISVgia GI[VO[\UWHGIHO8Y[V_bo,H€X¨Y’ªSVOHAjk^_§YD,[V_AYbS Œ”giPQYbH

[I_bXgbPTopYZ_b^XqD[W_s*

Y[ZnSm/TlRA‰ 'G_aXGm

_AY 'G_8XGm †cT7URa‰

` †cT,''\ZGR 6R1T,''\ZGR76XGm 6Bu[m'\m7U[m06BY\nlm7m b

U7‰GmXhr[nc_aX/UWw;†cmA†cZn/gGˆa†cT1XGTC+1†cm1X/UAXw

m'lkmer[nc_aX/UWw1Xw

[\OmIo,[V_i_hPQY<YbSYbDH”YiDH rGZ\Y/Y…k+†cZz/X[U XSVGIG"[\Om`’WŒ”PQYbDSW^pY

Yi[G8PTOUIPTOWYiS"[VXXSV^O8Y”S\YiDHgEYigi[VO_imp^XHgi_˜

µ Yigi[VO_bm^XHgªP]_}[–‘OP“YiHI_§Yi[\YbH!G"[VXqDPTOHV’`_bS•YbD[\Y0YiDH

PQO,mpH—pPTOUIS\¢[‹o,[\gbYŽG"[aAmpHo,HOmSVOogiH¡cPQSW^_ŽRQPTOH€_˜h¤SVg

H—[\GIoRTHV’-giHGIHG‹d,HgbPTOU{PTO¬Œ”D[\Y¥^OXYbPTSVO¬d2Spmpa­[zRQPTOH

RQPTH_’ho2HgiGIP“Yq_)YiS­[Wmm YiDHogiSVo2HgbYka YiSwYiDH

RQPTOHW˜ªCEDP]_ª_bDS‡Œ&_EYiD[‡Y0H¡WHOzŒ”PQYbD{YiDH)RTPTOH&CSVgiPQHO8YbHm{[Vo C

ogiSW[VXqD_kYigb^,X¨Yb^gbH€m•m[\Yi[IX[VOd,H[\O,[\RTa`+Hm#˜

µŽYbYi[WXqDHmogiSVo2HgbYbPTH_”[VgbH}Œ”giP“YiHOPQOz[IRTSVUWPTX0R][\OUW^[\UWHV’

Œ”DP]XqD P]_I^_bHm ¥SVg–e8^HgbacPTOU­[VOm O[¡cPQU8[‡YiPQOU,˜µ RTSVUWPTX

PT_}mpH‘OH€mzdcaz[AR][\OUV^[VUVHI’#P7˜HW˜Q’PQYi_ª¥SVgiG)^RT[W_’#[\O,mz[\O

HO8Yi[VPQRTGIHO8Y£giHR][‡YiPQSWOZYiD[‡Y£P]_`^,_§^[VRQRTaZŒ”giPQY§YbHO‹˜ (

GIH[\O,_YbD,[‡Y‹PQ –P]_Yigb^HV’$YbDHO G‹^_kY!d,HAYbgi^H"YiS8S,˜

¤SWg)PTO_kYq[\OXHV’ 8 DSVR]m_PTO¬ogiSVo2SW_bPQYbPTSVO[VR¢RQSWUVP]X\˜

l`HY d2HYbDH‹_§HY&S\¢[\RTR`SVdpjkH€X¨Yq_”PQOYiDH‘RTHIH¥SWdpjkHXYi_&[VgbH

o[\gbYi_<S\#‘RTH6JJ¨’p[\O,m < @<d2H&YbDH0XSVO8YbHOWY·S\#YbDHZSVdjkHX¨Y.c’

Ybgq[\O_imp^XHgq_¢PTG!oRQHG!HO8YE[}¥^OX¨YiPQSWO YiD[‡YE[V_i_§SpXPT[\YbH_¢YbS

H[WXqD•SWdpjkHXY ![‹¥SVgiG)^R][ < @”mpH€_bXgbPTdPTOU)YiDHSVdjkHX¨Y€˜

OzYbDH!X^gigbHO8YZogiS\YbSVYkaco,HW’YbDH!mpH€_bXgbPTopYiPQSWO{S\h[\OzSWd C

jkHXY!P]_)RTPTG!PQYbH€m«YbS­[wXSVO‡jk^O,X¨YbPTSVO S\Z[‡YiSVGIP]X"ogiSVo2HgbYbPTH_

H¥d^YAeW^HgiPQH€_"X[\O d2H[VOca ¥SVgiG)^R][V_ J¨˜@*cS,’<Yigi[VO_bm^XHgi_

[VXYb^[VRQRTaAgiHYi^gbO¥SWg&H[WXqDRQPTOH H>SVg”YiSGVHO J”["_bHYZSV¢ogbSWo C

HgbYbPTH_˜”CEDPT_ª[V_i_§SpXPT[\YbPTSVOX[\O{d2HgiHogiH_bHO8YiHm[V_”PTOw¤$PTU*C

^giH!~dcaA[!G"[‡YigbPQ—& %9!&=! &W˜

O,mpH—pPTOU¬P]_AXS8_kYiRQaW’”_§S«YiD[‡YAŒŽHzD[¡WHYbgiPQH€m YbS RTPQGIPQY

P“Y€˜wµŽY!_bSVGIH–o2SVPTO8Yi_’¢[Ybgq[\O_imp^XHgG"[a«XSWG!HAd[VXGwYbS

P“Yq_"PTOP“YiPT[VRª_§Yi[\YbHV˜CEDPT_"GIH€[\O_IYiD[‡Y–o,[\gbYi_Id2H¥SVgiHYbD,[‡Y

o,SWPQO8Y<mpSOS\Y¢PQOw(^HO,XH&o[Vg§Yq_-d,HaVSWOmYiD[‡Yho2SVPTO8Y˜¢CEDH€_§H

o,SWPQO8Yq_·[VgbH”giHXSVgqmpHmI[V_&Ÿ^‡±2´;9c¯b\±œ! €°‡®7œ‡± aI‡œ±,®>Ÿ¨˜ £[}‘RTH

PT_&G!SpmpPQ‘H€m•[\YZ_§SWG!H}o2SVPTO8Y’[\O,m•G‹^_§YEd2HgiH&CPQOmH—pHm#’pPQY

PT_IHOSV^UVDYbS«gbH+C7PTOmpH— YbDH‘,RQH{_§Yi[\gbYbPTOU ¥gbSWG YbDH{RT[W_kY

_§acOXqDgbSWOPW+€[‡YiPQSWOo2SVPTO8Y0d2H¥SWgbHYbDH!GIScmP“‘H€m{o2SVPTOWY€’#[\Om

HOmPQOUI[‡YEYiDHZ‘,gi_§YE_bacOXqDgiSVOP,+[\YbPTSVO–o2SVPTO8YŽSV£YiDHªGISpmpPC

‘Hm–‘RTHZYiD[‡YEPT_E[VRT_bS‹[‹_§acOXqDgiSVOPW+€[‡YbPTSVO"o2SVPTO8YŽSV`YbDHªSWRTm

‘RTHV˜

ŠŒ‹>tŠŽ

F' D!%'H #WK

©ªPQHŒ&_[VgbHmpH€_§PTUVO,[‡YbH€m Œ”P“YiD ¥SVgiG)^R][V_ YbD[\Y _bHgi¡VH[V_

o[\YbD_˜ 6<[WXqD¸mPQgiHXYbSVgiaXSWO8Yi[\PTO_{[ ^OP]e8^H ›€œ>žO T’

Œ”DP]XqD{XSWOWYq[\PTO_·YbDH_bHY&SVRTPQOH_&_i[‡YiPT_§¥acPQOU!YiDHo[‡YiD`˜

O YbDH{X^gbgiHO8YIogbSVYbSVYka8o2HV’<YbDHRTSVUWPTX•PT_!YiDHRQSWUVP]XASV

ogiSVo2SW_bPQYbPTSVO`˜"ª^HgiPTH_h[VgbH”HP“YiDHgE_§PTGIoRTHZ[‡YiSVG"_:H>HV˜U˜T’C J¨’

OHUW[\YbPTSVO_‹S\&¥SWgbG‹^R][V_.H¥HV˜U˜T’: DJ’·mpP]_>jk^OX¨YiPQSWO_!S\&¥SWgEC

G‹^RT[W_H¥HV˜U˜T’ > 7> J¨’cSWgŽXSVO‡jk^O,X¨YbPTSVO,_·SV`¥SVgiG)^RT[W_

H>HV˜U˜T’< >. *@ 8.8 <: @J¨˜$CEDH·HO8Yi[\PTRTG!HO8Y$giHR][‡YiPQSWOPT_

YiD[‡Y}S\h^_b^[VR$ogbSWo,S8_§PQYbPTSVO[VR`RTSVUVP]X\˜}CEDH€_§H)¥SVgiG)^R][V_ª[\giH

Œ”giP“YbYbHO T ’ 4T ’ TcP 6T f 6T j

’€[\Om `;TP 6T f b `;T

j

b `4T

o

b-PTO

YiDH"XSVO,XgiHYbHI_ba8O8Yq[‡—#˜)CEDHI_§R][V_bDwP]_}giH[Vmw[V_}[XSVO\jk^OX"C

YiPQSWO`˜ *cPTG!oRQH­[‡YbSWG"_AX[VO d,Hw¡[VRQ^Hm [‡YbYbgiPQd^pYbH€_˜ CEDH

e8^Hgba RT[VOUV^[VUVH¬_b^oo2SVgbYi_zXSVGIo[VgbP]_§SWO[VOm¸G"[‡YqXqDPQOU

SWo,Hgi[\YbPTSVO_<SVO–[‡YbYbgiPQd^pYbH€_<¡‡[\RT^H€m"dca!PTO8YbHUVHgq_¢SWg·_§YbgiPQOU8_s*

HW˜U,˜Q’ R1uWwaYz/XcRtUc_tZX.-AY ]:{lw H>P4˜HV˜T’}_§HRQH€X¨Y­[VRQR)¥^OXYbPTSVO_

Œ”DS8_§HwO[\GIHw_§Yi[Vg§Yq_–Œ”PQYbD/[VO J¨˜ FZH€_bXgbPTopYiPQSWO_–G‹^_kY

d2H"XSVO\jk^OX¨YiPQSWO_ªS\·[\YbSVGIP]X¥SWgbG‹^R][V_’2d^pY}[VOca•¥SWgbG‹^R][

X[\O{_§Hgb¡WH0[W_”[IeW^HgiaV˜

CEDH eW^Hgia GIH€XqD[\OP]_bG XqDHXGp_ PQ [ XSVO‡jk^OX¨YiPQSWO

SV ogbSWo,Hg§YiPQH€_ _b[\YbP]_k‘H€_ [ e8^HgiaV˜ OM[ mPQgiHXYbS*C

gia !’ŽYbDHz¡cPTHŒ¦‘RTHwXSWO8Yi[\PTO_ < @ "< @ !V˜

6&˜U˜T’/PTOMYbDH XSWOWYiH—cY S\ Y[Z/Z^];R ’ RTPQOHJ d,HRQSWOUW_

YiS YiDH¡cPQHŒ ‘RTH¸S\«mpPQgiHXYbSWgba

Y7z/XcRtU_1ZX.-Y

d2HX[V^_bH

98 ( ˜ CEDH < @{[\giH­[VRC

ŒE[ap_ŽmPT_boR][aVHm•PTO•YiDHSVgqmpHgŽSV£YiDH¡cPQHŒ·H€m–‘RTHV˜

#!H^#l%!H 1 % K"

fhgiSVo2HgbYka PQO,XgiHGIHO8Yi_’Œ”DP]XqD [\RTRQS‡Œ YiS giH‘OH/¡cPQHŒ&_’

[VgbH ogiSVo2SW_bHm¸YiS/YiDH ^_§Hg [V_«_§^d2mpPTgiHX¨YiSVgiPQH€_˜ xzSVgiH

¥SWgbG"[\RTRTaV’¬RTHY d,H YbDH _bHY¸S\ [\RTR«ogbSWo,Hg§YiPQH€_’ RTHY

$<!@ ! &< @ !MHYiDH&H—cYiHO_bPQSWO‹SV! J¨’VYbDHO

YiDH–_§HYS\E_§^dmpPTgbH€X¨YiSVgiPQH€_#" PQO [mpPTgbH€X¨YiSVgia ! PT_[•‘ C

OPQYbH"_b^d_bHYS\%$ &' )(+* $< 83!@,* $<!@-W˜

CEDHI_b^d_bHY}PT_}XqDS8_§HO{YbSXS‡¡WHgª[VRQR¢mpPQšHgiHO8Y0H—cYbHO,_§PTSVO_

$< 8 !@¨˜p6&˜U˜T’h[‡Y"_kYiHop! S\ªYbDHgi^OOPTOU­H—[\GIoRTHV’

/

T7n0-

,"P]_”["_b^d2mPQgiHXYbSVgia"S\

Y7z/XcRAUc_1ZX.-Y

d,H€X[V^_§H

$< 8 @

$<C@/. $< @ 0123415

* $< @¨˜

9 S\YbH}YiD[‡Y

$< 8 @ ( $< @. $< @¨’

$< > @ ( $< @6 $< @¨’

[VOm; $<: @ ($879! 7; $< $< @@q˜

f-S\>¤V*ogbS‡¡cP]mpH_"[VRT_bS­G!H€XqD[\OPT_bG"_!YbS«UVgiSV^o giHR][‡YbH€m

ogiSVo2HgbYbPTH_ŽYiSVUWHYbDHg€’pPQOSVgqmpHg·YiS"gbH€mp^XHªYiDHOc^G)d2Hg”SV

[VO_§ŒŽHgq_EPTO 'lk ˜<¤SVg”PTO_kYq[\OXHV’mPQgiHXYbSVgiPTH_ Y7z/XRtUc_1ZX0-Yl‡

[VOm Y7z/XcRtU_1ZX.-Y

f ‡ X[\O)d2HEUVgiSV^o2HmYbSVUWHYiDHg-^OmHg$YbDH

mpPTgiHX¨YiSVgia Yz/XcRtUc_tZX…‡l{ ’‡GI[GcPQOUYbDH0O[¡cPQU8[‡YiPQSWO"ogbSpXH_i_

>[VgZGISVgiHXSWO8¡WHOPTHO8Y€˜FªPQgiHXYbSVgiPTH_&X[\O{[\R]_§S"d2HUWgbSW^o,H€m

dcaYbDH!^_bHg0PQOzYi[‡—pSWOSVGIPTH_˜ªµZ_ZYbDH_bH‹GIHXqD,[\OP]_§G"_ª[\giH

e8^PQYbH XSWG!oRQH—[VOmPTODHgbPQYbH€m¸¥gbSWG le*p¤V*’}ŒŽH giH¥Hg

YiS2>uA@£¥SVg”GISVgiH}PQOp¥SWgbG"[\YbPTSVO`˜

:9 ;€M !#%l%'H

µZ_ªŒ·H)ŒŽ[VOWYZYbS–d2H‹[VdRQHYbSA^o2m[\YbH‹¡8PTHŒ&_’f-SV>¤ *{OHH€m_

YbS gbHG!HG)d2Hg­Œ”D[‡Y­D[V_ d2HHO ‘RQYbHgiHm SV^pY­¥SVg d[VXG C

ogiSVo[VUW[‡YiPQOU«[VO ^o2m[‡YbHwYbS«YiDHw¡cPTHŒŽHm‘RTHV˜ Š H [\R]_§S

OHH€m YiS G"[MGWH"YbDH•GIP]_b_bPQOU o[Vg§Yq_H—coRQP]XPQY!PTO¬YiDH¡8PTHŒ

‘RTHV˜OmpHHm#’#PQY}G)^_§Y0d2H!¡8P]_bPQdRTH!P“·[•OHŒ RQPTOH!PT_0[VmmpHm

d,H¥SVgiH–SVg[\YbHg‹[GIPT_i_bPQOU{o,[\gbY˜¤SVg)PQO_§Yi[VOXHW’$[W_b_b^G C

PQOU[{_iXqDHGI[\YbP]X)¡cPTHŒ T ]/]/] ) ’`Œ”DHgbH ]/]/] gbHogiH_bHO8Yi_

YbDH0GIPT_i_bPQOU)o[\gbY’ TSR ]\]/] ) X[\O–OSVY·d2HªmpP]_§YbPTOUV^P]_bDHm

¥gbSWG T ]/]\]?R ) P“-YbDH)o2SW_bP“YiPQSWOSV-YbDHGIP]_b_bPTOU–o[Vg§Y&P]_

OS\Y$_§DS‡Œ”O£˜>*cS’€f-S\>¤V*}PTO_bHgbYi_`_bo,H€XP][\R\G"[VgbGp_#PTO}YbDH<¡8PTHŒ

‘RTHH¡WHgia8Œ”DHgiH0o,[\gbYi_”D[¡WHd,HHO‘RQYbHgbH€mSV^pY€˜ O{SVgqmpHg

YbSIOSVYEo2SVRTRT^pYbH}YiS8SIG‹^XqD–YiDH}‘RTH0Œ”PQYbDG"[\gKGp_’cSWORQaASVOH

G"[\gKG­P]_!UVHOHgq[‡YiHm­¥SVgIXSWO_bHX^YbPT¡VHAGIP]_b_bPTOUwo[Vg§Yq_˜ O

SVgqmpHg<YbS)mH_bPQUWO[‡YiH&GIPT_i_§PTOUo,[\gbYi_:H>HV˜U˜T’VYiS)GIS‡¡VHEYiDHGIJ’

[I^OP]e8^HOc^G)d2Hg&P]_&[W_b_bSpXP][‡YbH€m–YiS"H[WXqD•G"[\gKG˜

Š

H)Œ”PQRTR

[\R]_§S"_bHH}PTO_bHXYbPTSVOs"[\OSVYbDHg”^_§H0¥SWgEYbDP]_”Oc^G)d2Hg€˜

*pS’V[ª¡cPQHŒ ‘RTH·P]_¢XSWG!o2SW_bHmS\2[0_bHY-S\,RTPTOH_-_i[‡YbP]_§¥a8PTOU

YbDH"e8^HgbaW’[VOm­[A_bHYS\<G"[VgbGp_’2PTO8YbHgbO[VRQRTa{giH¥HgigiPQOU–YbS

RQPTOH€_&PTO{YbDH‹¡cPQHŒ·H€mA‘,RQHW˜ L&om[‡YiPQOU["¡cPQHŒ‘RQH)PQOc¡VSWRQ¡WH_

[\O ^o2m[‡YbHISV<YbDH!¡cPTHŒŽHmz‘RQHI[\O,mzS\·YbDHIogiSVo2HgbYbPTH_ªS\

H[WXqD!o,[\gbYhS\‘RTHV˜¢CEDH”^om[‡YiHmI¡cPTHŒŽHm!‘RTH”PT_·XSWG!o2SW_bHm

S\-[‹OHŒ/_bHY”S\$RQPTOH€_’pŒ”DP]XqD[\giHZYiDH}RQPTOH_ŽYiD[‡Y&[VgbH0DP]mDC

mpHO dca[AG"[\gKGPTO{YiDH‹^o2m[\YbH€mz¡cPQHŒ¸‘RTHV’`[\O,mYbDH!¡cPT_EC

PQdRQH!RQPTOH€_ªPTOzYiDH!^o2m[‡YbH€mw¡cPTHŒ‘,RQHW˜}CEDH‹ogiSVo2HgbYbPTH_ªS\

H[WXqD{RQPTOH‹[VgbH)^o2m[‡YbH€m{dca•giH&C[\ooRQacPTOU"YiDHYigi[VO_bm^XHgi_

SVOwYbDP]_0^o2m[‡YbH€mz¡cPTHŒŽHm{‘,RQHW˜n”HGIHG‹d,HgZYiD[‡Y€’#YbD,[\OwGp_

YbSAYbDHI_§acOXqDgbSWOPW+€[‡YiPQSWOo2SVPTO8Yi_’gbH+C7PTOmpH—cPTOU•PT_0[VXYb^[VRQRTa

mpSVOH0SWORTaASVO[I_§H€X¨YiPQSWO•SVYiDH¡cPQHŒ·H€m–‘RTHV˜

< = & $q$% } # 8.¢

• -”

6<[VXqDARQPTOHZSV#YbDH0¡cPQHŒ·H€m!‘RTHªP]_<giHogbH€_§HOWYiHm!dca"[\O–PTO8YbHg C

O[\R-SWdpjkHXY0P]mpHO8YiP“‘Hg ZG_ ˜CEDHIm[\Yi[A_§Ybgi^XYb^giH‹P]_0H_i_§HO C

YbP][\RTRQa­[G"[‡YbgiPQ— Z*)4>\mGRtUcVQtr[nlZrGmn/U_1m[k _§YbSWgbH€mwSWO mpPT_bG˜

Y{gbHogbH€_§HO8Yi_AYbDH«GIHYq[ Cm[‡Yq[ @? % !&=! &«PTO C

¥SVgiG"[‡YbPTSVO£˜iYIP]_‹SVYbHO R][\giUVHV’¢d^pY–_§o[Vgi_bHV˜«CEDHe8^Hgia

[\OmO[¡cPTUW[‡YiPQSWO GIHXqD[VOPT_bG"_!^_§HYiDPT_IG"[\YbgiP“—5H·YbDHPTO C

mpH—pPTOUG!H€XqD[\OPT_bG ‘RTRT_­PQY PQO`˜MCS G"[MGWH YiDH e8^Hgia

[\Om O[¡cPTUW[‡YiPQSWO [VRQUWSVgiP“YiDG"_ªGISWgbH!H8–XPTHO8Y€’£f-S\>¤V* [\R]_§S

_kYiSVgiH_ESWOmpP]_bGA[\OPTO8¡WHgbYbH€m–Yq[\dRTH r/nlZrGm7n\U/gcVQ\Z )4>/mGRtUGk ˜

C£gq[\O,_bmp^,XHgq_ PTOPQYbP][\RTPW+H YbDH G"[‡YbgiPQ—’ [VRQRTSpX[‡YiPQOU ¥gbH€_§D

OHŒ SWdpjkHXYi_ ¥SWg¬H[WXqD RQPTOHW˜ CEDHgiHPT_[\R]_§S [Yq[\dRTH

Z*)2>/mGRtUcV1QlRZX[U[mX[Uk YiD[‡Y[V_i_bScXPT[\YbH€_”YbSH[WXqDzSVdjkHX¨Y0P“Yq_

XSWOWYiHO8Y’p[VOmA[)Yi[VdRQH

'G_aXlm…VQ\Z*)2>/mGRtU

YbD[\Y&[V_i_§SpXP][‡YiH_hYbS

H[WXqD RTPQOHOc^G‹d,Hg!SV&YbDH¡cPTHŒŽHm¬‘RQHW’<PQYi_IPTO8YbHgiO[VRŽSWd C

jkHXY–PTmpHO8YbPQ‘Hg€˜ OmpHH€m#’·YbDHRTPQOH{SWgimHgIPQOYbDH{¡8PTHŒŽHm

‘RTHV’£[VOmzYiDH"RTPQOHISWgimpHgªPTO YbDH"PTO8YbHgiO[VR$giHogbH€_§HOWYq[‡YiPQSWO

OHH€m OS\Y–d2HYbDHz_i[\GIHW˜@6&˜U,˜Q’¢PQ[­RQPTOH{P]_"PQO,_§Hg§YiHmPQO

[z¡cPTHŒ ‘RTHV’hPQY‹Œ”PTRTRŽd2H•[WmmpH€m YbSwYbDH•HOm S\&PQYi_!giHogiH&C

_§HO8Yi[‡YiPQSWO`˜&CEDH€_§HYkŒŽS"Yq[\dRTH_ª[\RTRQS‡Œ YbS•gbH€XSVO,_kYiP“Yi^pYbHYiDH

XSWOWYiHO8Y)SV·YiDHA¡cPTHŒŽHm ‘RTHV˜{¤$PQUW^gbH"s{PTRTRQ^_§Ybgq[‡YiH_}YiDH_bH

m[‡Yq[ C_kYigb^,X¨Yb^gbH€_‹Œ”PQYbD Y[Z/Z^]:R H4_§HH *cHXYbPTSVO Jp˜J*J¨’EŒ”DHgbH

Œ·H&[W_b_b^GIHEYbD,[‡Yh¥^O,X¨YbPTSVO Y f

PT_hXgbH€[‡YiHm‹‘gq_kY€’\YbDHOI¥^OX&C

t>t uwvgxyz

line->object o4

o5 o10 o6 o9 o7 o8 o1 o2 o3 l10

l9 l8 l7 l6 l5 l4 l3 l2 l1

object->contents

int f2(int z) { return z * 4 }

int f(int x) { int y;

y = x;

return y * 2 }

fprintf(stderr, "x = %d", x) assert(x > 1);

o10 o9 o8 o7 o6 o5 o4 o3 o2 o1 inode(foo.c)

int f(int x) { int y;

assert(x > 1) y = x;

fprintf(stderr, "x = %d", x);

return y * 2 }

int f2(int z) { return z* 4 }

data

marks

m3 m2 m1 o3

o5 o8, o9, o10 i

int f(int x) { int y;

y = x;

return y * 2 } ...:1

...:2

...:3 data object->properties

#function:f, #var:x, #debugging

#function:f, #var:x, #specification

#function:f

#function:f, #var:y

#function:f, #var:x, #var:y

#function:f, #var:y

#function:f, #var:x

#function:f2

#function:f2, #var:z

#function:f2, #var:z

o10 o8 o7 o6 o5 o4 o3 o2 o1

o9

property->object

#function:f

#function:f2 o1, o2, o3 o4, o5, o6, o7,

#var:x

#var:y

#var:z

#debugging

#specification

o4, o6, o9, o10 o5, o6, o7 o1, o2 o9 o10 o8, o9, o10

The viewed file

The file context

A view file

cd function:f/!(debugging|specification)

¤$PTUV^giH}sG*¢n”HogbH€_§HO8Yi[‡YiPQSWOASV-[!¡cPQHŒ

YbPTSVO Y ’$YbDHO«YbDH Y7r/nc_aX[U[Y YbS ktU[u[mn/n ’£[VOm­‘O[VRQRTawYiDH

TGk\km7n/U ˜CEDP]_·_iXHO[\giPTSH—poR][\PTO_<YbDH0Oc^G)d2HgiPQOUS\£SWdpj C

HXYi_”PTOYbDH0‘RTHXSWOWYiH—cY˜

)$

6<[VXqD!mpPTgbH€X¨YbSWgbaXSVgigbH€_§o2SVOm_#YbS}[&RTSVUWPTX[\RW¥SVgiG)^R][ $˜8LZ_EC

PQOUYi[\dRQH Z*)4>/mlRtUcVQ1r/nlZrGm7n\U_1m[k ’pYiDH–e8^Hgiaw[VRQUWSVgiP“YiDG

XSWG!o^pYbH€_¢YbDH&_§HY<S\#[\RTRSWdpjkHXYi_ Z…_\k YbD,[‡Y·_i[‡YiPT_§¥a9$˜A6h¡ C

Hgia YbPTGIH YiDH­^_§HggbH€[Vm_AYbDH XSVO8YbHOWYS\I[ mpPTgbH€X¨YiSVgiaV’

HV˜U˜T’WŒ”PQYbDAYbDH 'lk

XSVGIG"[\O,m#’p[OHŒ›œ>žl Q·P]_·XgbH€[‡YbH€m#˜

µ¦OHŒ¶PQOSpmpH

_

P]_I[\RTRQSpX[\YbH€m#’hd^pY"OS«m[\Yi[­PT_IXgbH€[‡YbH€m#˜

CEDHO"PQYi_·m[‡Yq[}dRTScXGp_ _3]u[T7U[T [VOm"[0Yi[VdRTH _3]Œ†cT7nk H>[V_EC

_§SpXPT[\YbPTOUYbS{H[WXqD G"[VgbGz[RTPT_§YS\ESVdjkHX¨Yq_ J0[VgbH!‘RTRQH€m­PQO

SVO!mpHG"[\O,m H¥HW˜U,˜Q’‡XSVGIG"[\Om Z1rGmX J`[WXXSWgimPQOU&YbSªYbDH·¥SVRC

RQS‡Œ”PTOU"[\RTUVSWgbPQYbDG *

†cTn pƒ

_aX1†cT7nhpY[T,'lk1m

Y[Znlm/TGRA‰ 'S_aX 'G_aXGmGVQ\Z*)4>\mGRtUk

'7m7UZp 'G_aXGmGVQ\Z*)4>\mGRtU '_aX

_AY(`;ZS_\k_aXSZ…_\k

b

XGZ7U=_aX†T7n

U\‰Gm1XST7u/uZ*)4>/mGRAUcVQlRZ1X[UlmX[U…kZ UlZS_3]u[T7UlT&i

_AY(`;ZS_\k_aXSZ…_\k b _aX†cTn

U\‰Gm1X _8X†cT7nhpY[T,'[km&i

T7u/uWw]/]/]/]\]/]/]/]/]-sw TX[u"†T7n

T1XluZ*)4>/mGRAUcVQlRZ1X[UlmX[U…kZ UlZS_3]u[T7UlT&i

_AY(`;ZS_\k XGZ7U=_aXSZ…_\k b XGZ7U=_aX1†cT7n

U\‰Gm1X„†T7n&i?_aX†cTnhpU/n7zGm&i

_5] †cT7n…k Œ†cT7n"pZ&i

_AY(`;ZS_\k XGZ7U=_aXSZ…_\k b _aX†T7n

U\‰Gm1XST7u/uZhUlZ‚_3]†T7nk Ž†cT7n

_tY=_aX†T7n

U\‰Gm1XST7u/uWw]/]/]/]\]/]/]/]/]-sw TX[u"†T7n

UlZ=_5]u[T7UlT

B % ' %'! JK%!H

Š DHO!YiDH”^_bHg-GIScmP“‘H€_¢[0¡8PTHŒ ‘RTHV’Vf-SV>¤ *)^om[‡YiH_-YiDH

XSWOWYiHO8Y"S\ªYbDH¡cPQHŒ·H€m¬‘,RQHW’·[\O,m[VRT_bS ^o2m[\YbH€_!YbDHYq[ C

dRTH Z*)2>/mGRtUcV1Q1r[nlZrlm7n/Uc_1m[k [V_EYiDHogiSVo2HgbYbPTH_”G"[a•D[¡VH

XqD[\OUVHm`˜CEDPT_)Œ·SWgbGzP]_)mSVOH–Œ”DHO«YbDHA^_bHg)XSVGIGIP“Yq_

[–¡cPTHŒ¸‘RTH4H>HV˜U˜T’,H¡VHgia–YiPQGIH‹YbDH‹^_bHg}_b[¡WH_&["¡cPTHŒ¸‘RTH

Œ”P“YiDP“Yq_EYbH—8Y&H€mpPQYbSVg"J¨˜

n&HX[VRTX^R][‡YbPTOU ¥gbSWG _bXgi[\YiXqD Yq[\dRTH

Z*)2>/mGRtUcV1Q1r[nlZrlm7n/Uc_AmGk P]_ H—po2HO_bPT¡VHV’ d,H€X[V^_§H PQY

[\R]_§S giHe8^PTgbH€_ YbS X[\R]X^R][‡YiH YiDH PTOc¡VHgbYbH€m Yq[\dRTH

r[n[ZrGm7n/U\gcVQ\Z*)2>/mGRtUGk

˜ *cS,’ ŒŽH ogiH¥Hg YiS .ko,[‡YiXqD[0

YbDP]_EYq[\dRTH[VXXSVgqmpPTOU‹YbSIYbDHG!SpmpPQ‘,X[‡YbPTSVO,_˜6<¡VHgia"YiPQGIH

[G!SpmpPQ‘,X[‡YbPTSVO PT_XSVGIGIP“YbYbH€m#’`f-S\>¤V*wŒ”PQRTRhXqD[\OUVH!SVORTa

[•¥HŒ RQPTOH_}SV<Yq[\dRTH Z )4>/mGRtUVQ1r[nlZ1rGm7n/Uc_AmGk ’pPQO,_kYiH[Vm S\

Hgq[V_bPQOU‹PQY”¥gbSWG mpP]_G[\OmXgiH[\YbPTOU"[!OHŒ/Yi[\dRQHW˜

Š DHO YiDH–^_bHg)XSVGIGIP“Yq_ H>PQO«>[WX¨Y’¢[ nlm,'\m\TGkm SVo2Hg C

[‡YiPQSWO J[\O«^om[\YbHm«¡cPTHŒ ‘RTH–Œ”DSW_bH"PTOSpmpH–P]_ _ ’f-S\>¤V*

‘gq_kYªXSVGIo^pYiH_EYiDHOHŒXSVO8YiHO8Y&S\-YbDH¡cPQHŒ·H€mA‘,RQHW’,^_EC

PQOU _3]u[T7UlT [\Om _3]Œ†cT7nk [WXXSWgimPQOU YbS­YiDH¥SVRTRQS‡Œ”PTOU

[\RTUVSWgbPQYbDG *

ŠŒ‹>tŠŽ

XGm …ˆ[RZX[Ulm1X[U„pmA†Gr[U\g=R1ZX[UlmX/U

Y[Z7nlm\TGRA‰ 'G_aXlmB'S_aX _3]u[TUlT

_tY 'SR1ZX[UlT…_8Xck T †cT7n _AU7‰X\z†)Gm7n >

U\‰Gm1X

Y/Z7nlm/TGRa‰Z=_aX _3]†T7n@>

T\u/uZ*)4>/mlRtUcVQlR1ZX[UlmX/Uk Z U[Z€XGm …ˆlRZX/UlmX[U

m,'lk1m

T7u/u '„UlZ„XGm …ˆ[RZX[Ulm1X[U

CEDP]_wacPTHR]m_ [/OHŒXSVO8YbHO8Y XGm GˆlRZX[U[mX[U ˜ CEDHO`’

f-S\>¤V* d^PTRTm_ [ OHŒ Yq[\dRTH Xlm …ˆ1r[n[ZrGm7n/U_1mGk Œ”DP]XqD

[W_b_bSpXP][‡YbH€_wogbSWo,Hg§YiPQH€_zYiS H€[VXqD RTPTOHSV XGm …ˆlR1ZX[UlmX/U ˜

Y d^PQR]m_ PQY dca [\ooRQacPTOU YbDH Yigi[VO_imp^XHgi_MSWO

XGm …ˆ[RZX[Ulm1X[U

_kYq[\gbYbPTOU¥gbSWG YbDH–[VoogiSVogiP][‡YbH!_§acOXqDgbS<C

OP,+[\YbPTSVO o2SVPTO8Y’¢[\Om«dca­XSVocacPTOUYbDHASVR]m«ogbSWo,Hg§YiPQH€_PTO

Z*)4>/mlRtUcVQ1r/nlZrGm7n\Uc_1mlk ¥SVg•_§H€X¨YbPTSVO,_"S\}YbDHw¡cPQHŒ·H€m‘RQH

YiD[‡Y–XSWO8Yi[\PTO OS GISpmpPQ‘Hmo[Vg§Y–[\O,m [\giHmpHRTPQGIPQYbH€mdca

_bacOXqDgiSVOP,+[\YbPTSVO o,SWPQO8Yi_˜CEDHO£’”f$SV>¤V* XSVGIo^YbH_–YbDH

mpPQšHgiHOXH d2HYkŒŽHHO YbDHSVR]mogiSVo2HgbYbPTH_w[VOm¸YiDH OHŒ

SWOH_’GISpmpPQ¥a8PTOU"YiDHYq[\dRTH_ª[VXXSVgqmpPTOU!YbS"YiDH¥SWRQRTS‡Œ”PQOU

[VRQUWSVgiP“YiDG *

u[ZXGm€pmA†Gr[U\g Tn/nlT7g^i

Y[Z7nlm\TGRA‰ 'S_aX 'l_aXGm…VQ7Z*)4>/mGRAUeu[Z

u[ZXlm 'G_aXlm…VQ\Z*)2>/mGRAU #' "pƒ

Y[Z7nlm\TGRA‰ 'S_aXXlm …ˆ1r[n[ZrGm7n/U_1mGk u[Z

Y…_aXlu‚_aXSZ*)4>/mGRAUcVQ1r[n[ZrGm7n/U_tmGk TXSZ*)4>/mlRtUZ

kAzcRA‰U\‰lT7U `;Z*)4>\mGRtUcVQtr[nlZrGmn/Uc_tmlkZ

p\phXGm …ˆ1r[nlZ1rGm7n/Uc_tmGk #'

b

u[ZXlm Z€p/pƒ

_AY TXSZ*)4>\mGRtUT‚_\k„Y/Zz/Xlu

'G_aXGm…V1Q\Z*)4>/mlRtU ' pT

Z*)4>/mGRAUcVQlRZ1X[UlmX[U…kT"p€XGm …ˆ[RZX[Ulm1X[U'

u[ZXGm T€pNP

m'lkm

T,''\ZGR1T7Ulm„T„XGm SZ*)4>/mlRtUZ

Z*)4>/mGRAUcVQ1r[n[ZrGm7n/U_tmGk Z

phXlm …ˆ1r[n[ZrGm7n/U_1mGk '

'G_aXGm…V1Q\Z*)4>/mlRtU ' pZ

Z*)4>/mGRAUcVQlRZ1X[UlmX[U…kZ"p€XGm …ˆ[RZX[Ulm1X[U'

Y[Z7nlm/TlRA‰€rN_8XXGm …ˆ1r[nlZ1rGm7n/Uc_tmGk #'

T\u/uZ€UlZ€r/nlZrGm7n\U/gcVQ\Z )4>/mGRaUk Br

Y[Z7nlm\TGRA‰Z‚_aXSu/ZXGm

_tYu[ZXGm Z„pƒU\‰lmX

Y\nlm/mhZ‚_aX‚Z )4>/mGRtUVQ1r[nlZ1rGm7n/U…_1mGk

CEDP]_h_iXqDHG"[_i[¡VH€_$X[\RTRT_$YiS}YbDH&Ybgq[\O_imp^XHgq_$YbD[\YhH—po,HgEC

PTGIHO8Yi_”D,[¡VH}_§DS‡Œ”O•YbS"d2HXS8_kYiRQaW˜

9 SVYbH YbD[\Y•YiDH [VRQUWSVgiP“YiDG XSVGIo[VgbH€_IYbDH ogiSVo2HgbYbPTH_

[VOmOSVY`YbDHŽXSWOWYiHO8Yi_`S\pYbDHhRQPTOH€_’‡[V_`YkŒ·SZRQPTOH_£G"[aªD[¡WH

YiDH·_i[\GIHhXSWO8YbHO8Y£d^pY£OSVY`YbDHŽ_b[VGIH¢ogbSWo,Hg§YiPQH€_ H¥HW˜U,˜Q’YbDH

XRQS8_§PTOUdgq[VXGWHYi_hPQO Y[Z/Z^]:R *tZHY Y[Z/Z^];R *T~|Z¥SVgiG PTmpHO8YbP]X[\R

RTPQOH_’d^pYZSWOHŒ”PTRQR`D,[¡VH0YbDH zogiSVo2HgbYkaV’[\O,m

YiDHS\YiDHg”SWOH3 <J¨˜

!% !D %' %!H !"

CEDH!^_§Hg0X[\OzSWo,HOwmpPQš2HgbHO8Y0¡cPTHŒ¸‘RTH_0PTO mpPQš2HgbHO8Y0mpPC

gbH€X¨YiSVgiPQH€__bPQG‹^RQYi[\OHSV^,_§RTaV’‡Œ”DP]XqD)PTO8YbgiSpmp^XH€_YbDHEXSWOX^g C

gbHO8YŽ¡cPTHŒ^om[\YbH}ogiSVdRTHG d2HX[V^_bHª^om[\YbPTOUISVOHª¡8PTHŒ

‘RTH&GIScmP“‘H€_¢YiDH&¡cPQHŒ·H€m‹‘RQHW’W[VOm"_§SG"[a‹PQOc¡‡[\RTPTm[‡YbHEYiDH

XSWOWYiHO8Yi_-SVYiDH”S\YiDHg¢¡cPTHŒ¬‘,RQH€_˜ Š HEXqDS8S8_§HŽYiS}mHRTHUW[\YbH

gbH€_§SWRQ^YbPTSVOwSV<YiDH–XSWOX^gigiHO8Yª¡cPTHŒ ^o2m[\YbH"ogiSVdRQHG YbS

[\ooRQP]X[\YbPTSVO_}YiD[‡Y^,_§H–f-SV>¤ *#˜¤SWgPTO_kYq[\OXHV’ ma†cTGR/k [\RC

gbH€[Vmpa XqDH€XGc_AS\šXSWOX^gigiHO8Y–^om[‡YiH_˜ CEDP]_•gbH€eW^PQgiH_

_§SWGIHA_§^oo,SWg§Y¥giSVG YbDH–SVo2Hgq[‡YiPQOUz_bap_kYiHG YbSzPTOmpP]X[\YbH

YbS[\O«[\ooRQP]X[\YbPTSVO{YiD[‡Y}YbDH!¡cPTHŒ‘,RQH!P“YG"[\OPQo^RT[\YbH_0P]_

OS\Y5.k¥giH_bD/0ŽHOSV^UWD`˜ YŽ[\R]_§S0gbH€e8^PQgiH_$YiDH&[V_i_b^gi[VOXH·YbD,[‡Y

YbDH[VooRTPTX[‡YiPQSWO•Œ”PTRQRXqDHXGIYiDPT_&PQOmPTX[‡YbPTSVO£˜

f-SV>¤ *!_b^oo2SVgbY¢YbS_bacOXqDgiSVOP,+[\YbPTSVO)P]_$YbSD,[¡VH”[ªYbPTG!H+C

_kYq[\GIo/PTO/H€[VXqD/mPQgiHXYbSVgia PQOScmHV’ª[VOm YiSPTOXgbHG!HO8Y[

UVRTSVd[VR#YbPTGIH_§Yi[VG!owH¡VHgbaAYbPTGIH‹["¡cPTHŒ‘RTH)P]_Z_b^XXH_i_k¥^RC

RQa«XSWGIG!PQY§YiHm#˜ 6h¡WHgia{YbPTGIH"YbDHA^_§Hg^_bH_ 'lk H¥PTO«>[VX¨Y€’

[ n[m/T\u/u_an SVo2Hgq[‡YiPQSWO J¨’cf-S\>¤V*XqDH€XGc_ŽPQ£YiDH}YbPTGIH_§Yi[\GIo

S\hYiDP]_0mPQgiHXYbSVgiaPT_ªHe8^[VRYiS–YiDH‹UWRQSWd[\R£YbPTGIH_§Yi[\GIo`˜

aWH_ Q’`YbDHO YiDH"¡cPQHŒ P]_0¥gbH€_§D«HOSV^UWD [VOm­OS\YiDPQOUD,[V_

YbSzd2H•mSVOHW’PQ OS `YiDHO¬[zOHŒ ¡cPQHŒ ‘RQHW’-Œ”P“YiD¬[{OHŒ

PQOScmHV’pP]_ŽXgbH€[‡YiHm#’p[\O,m–YiDH0YbPTG!H€_kYq[\GIoASV£YiDPT_”mPQgiHXYbSVgia

PT_Z_§HYŽYiSIYbDHUWRQSWd[\R2YiPQGIH_§Yi[VGIo`˜

xzSVgiHS‡¡VHg’[V_¢_bSVGIHE[\ooRQP]X[\YbPTSVO_$G"[aGVHHo‹[ª¡cPQHŒ¬‘RTH

SVo2HO–Œ”PQYbDSV^pY”XqDHXGcPTOUPQ`YbDHZ¡cPQHŒ ‘RTHªP]_h¥giH_bD–HOSV^UWD`’

Œ·H}_bPQGIoRTaI¥SVgidP]m"YbSI^om[\YbH0SV^pY C7SVCm[\YbHª¡8PTHŒ‘RQH€_˜ Š H

[VXqDPTH¡WH&YiDPT_Edca–[W_b_bSpXP][‡YbPTOU)YbS!H[VXqDAPQOSpmpH}giHogiH_bHO8YiPQOU

[”¡cPQHŒw‘,RQH<[ŽYiPQGIH€_kYq[\GIo`˜ Š DHO[VO}[VooRTPTX[‡YiPQSWO}XSVGIGIP“Yq_

[}¡cPQHŒ‘,RQHW’Vf-S\>¤V*IXqDH€XGc_-PQYbDH&YbPTG!H€_kYq[\GIo"S\YiDPT_h¡8PTHŒ

‘RTH{PT_IH€eW^,[\REYbS«YiDH{UVRTSVd,[\RŽYbPTGIH_§Yi[\GIo`˜@+aVH_ T’<YiDHO

YbDH•UVRTSVd[VR¢YbPTGIH_§Yi[VG!o P]_PTOXgbHG!HO8YbHm`’$[VOm­Yi[VdRQH€_)[VgbH

^om[‡YiHm–[W_<_bHHO"PTOA_bHXYbPTSVO–v˜J3HcPQ OS, Q’c[\O"HgbgiSVg·XSpmpH&P]_

gbHYb^giOH€m#˜

XE[W_§P]X[VRQRTaV’pYiDP]_Z_bac_§YbHG¶X[\Od,H‹_§HHOz[V_Z["XR][V_i_§P]X0G)^RC

YbPToRTHgbH€[VmpHgi_E[\O,m•_bPQOUVRTHŒ”gbPQYbHgE_bap_kYiHG˜

7LNM'# l % [Dl#&' l^%!#& $ '#4%

'%!HILN '#&%'/LI

µ ^,_§HgX[VO)[Vmm[&RTPQOH<PTO‹[&¡cPTHŒ Œ”DHgbHhYbDP]_$RQPTOH·mS8H€_£OS\Y

d,HRQSWOUIHWHV˜U˜T’‡[VmmpPTOU[0XSVGIGIHO8Y¢PTO![ª¡cPQHŒ¬‘RTHEŒ”DPTXqD!giH&C

_§P]mpH€_hPTOA[mpPTgbH€X¨YiSVgia)Œ”PQYbD"YiDH&ogiSVo2HgbYka 4:RZA†/†cm1X[U ˜ *p[¡ C

PQOU YiDP]_I¡8PTHŒ ‘RTHX[\RTRT_!YiDHPQO,mpH—pPTOU«G!H€XqD[\OPT_bG H>mpH+C

_bXgbPTd2Hm PTOp*cH€X¨YbPTSVOv˜J*J¨’h[VOm«UVHOHgq[‡YiH_[VO¬^o C7YbS<C m[\YbH

¡cPQHŒ ‘,RQH•PQO«YiDPT_‹mpPTgbH€X¨YbSWgba H>_bHH *pHX¨YiPQSWO¬v˜vJ˜zµZ_YiH—cY

HmpPQYbSWgi_$[\giH<OS\Y¢ogiHo[VgbH€m0YbSªYbDHŽ>[VXYYiD[‡Y$YbDHEXSVO8YbHO8YS\

[I‘RTH‹[\YbHg0[–_i[¡VHmpPQš2Hgi_&¥gbSWG¦YbDH)XSVO8YbHO8Yhjk^_§Y0d2H¥SWgbH

YbDH0_b[¡WHV’VYbDHa!SVYbHO•mpSOS\Y·giH¥giH_bDIYbDHZd^pšHgŽŒ”PQYbD–YiDH

OHŒ XSWOWYiHO8Y˜‹CED[‡Y}GIH[\O,_ZYiD[‡Y}YiDH"XSVGIGIHO8Y}Œ”PQRTR¢giH&C

G"[\PTOPTOYbDH¡8PTHŒ‘RTHV’,[\OmPTO{o[\gbYbP]X^R][\gEYiD[‡YZ["_bHXSVOm

_b[¡WHhSVo2Hgq[‡YiPQSWOŒ”PQRTRcD[¡VHh¥SVg£Hš2H€X¨Y$YbSªgbHPQO_bHgbY£YiDP]_£RTPQOHŽ[

_§H€XSWOm!YbPTGIHªPTO"YbDHZ¡cPQHŒ·H€m!‘RTHV˜¢C£S‹[¡VSVP]m!YbDPT_·ogiSVdRTHG’

YbDHYbH—cY&H€mpP“YiSVg&G‹^_§Y&d,H)XSVOp‘,UV^giHm_§S!YiD[‡YZH¡VHgbaA_i[¡VH

SVo2Hgq[‡YiPQSWO­giH¥giH_bDH€_}YbDH•d^pšHg!Œ”P“YiD«YbDH•OHŒ XSVO8YbHO8Y˜

CEDP]_”PT_Eo2SW_i_bPQdRTH0¥SVg mA†cTGR\k dcaAmH‘OPTOU–[!G"[VXgbS,˜

t>t uwvgxyz

M Dl#%l^%

Š

Hz_§Œ”PQYiXqD OS‡Œ ¥gbSWG [\ooRQP]X[\YbPTSVO RQH¡VHRESWo,Hgi[\YbPTSVO_‹YbS

‘RTH{_§ap_§YbHGSVo2Hgq[‡YiPQSWO_YiS«HO8YbHg!PTO GISVgiHmpHYi[VPQR]_˜

Š H

^_bH}l`PTO8^— ‹YiHgiGIPQOSWRQSWUVa Hœ¯¨®4³°M Ihœm T ^Ÿq® gf >!t@J¨˜

'ªo,Hgi[\YbPTSVO nlm\T\ulˆlkAz\rGm7n P]_–X[\RTRQH€m ¡cP][wYiDH{^_bHg"ogiS*C

UWgi[VG rGZ\Y\Y…ks†cZz\X[U ˜ YhYi[GVH€_h[V_¢o,[\gq[\GIHYiHgq_$[‘RQH”O,[\GIHV’

[VOm[ RQP]_§YwS\!Ybgq[\O_imp^XHgq_˜ Y XgiH[\YbH_YiDH Yq[\dRTH_{SV

YiDH"‘RTHAXSWO8YbH—cY€’[\O,mw‘,RQR]_YiDHG PQO«dcawo,[V_i_§PTOUYbDH–‘RQH

YiDgbSW^UVD YbDHIYbgq[\O_imp^XHgq_˜nY[\R]_§S{XgiH[\YbH€_ZYiDH"giS8SVY0PTO C

SpmpHW˜ 'ªo,Hgi[\YbPTSVO r/z/UGˆlkAz/rlm7n H>_bDHRQR<XSVGIG"[\Om z†cZ1z/X[U J

OHHm_£OS\Y ktg7XcR YiDHh‘,RQH<XSVO8YbH—cY`Yi[VdRQH€_gH‡PQY$X[\O}¥giHH¢YiDHG˜

*cS,’V[\RTRWYbDHŽYi[VdRTH_YbD[\Y¥SWgbG¸YiDH·‘RQH”XSVO8YbH—8Y-X[VO)d2HE_bHHO

[W_<YiHGIo2SVgq[\gia!m[\Yi[˜ FZS‡Œ·H¡VHg’c[V_<YbDHXSVO_§Ybgi^X¨YiPQSWO–S\$[

‘RTHAXSVO8YbH—8YP]_)XSW_§YbRTaV’$SVOH"G"[a­[\R]_§SlGWHHo­YiDH–PTOWYiHgiO[\R

Yq[\dRTH_”SWOmPT_bG’cYbS"giH^_bH0YbDHG Œ”DHO•giH&CGISV^O8YbPTOU,˜

'ªo,Hgi[\YbPTSVO nlm/T7u/u_An PT_‹X[VRQRTHm«¡cP][YbDH–^,_§HgogiSVUVgq[\G

'lk ˜0 Y0Yi[GVH€_ª[W_ª[Ao[\gq[\GIHYiHg0[\OzPTOSpmpH‹YbD[\Y0giHogiH_bHO8Yq_

[¡cPQHŒ’[VOmwgiHYi^giO_[RQP]_kYSV·o[VPQgq_ `XlTA†cm&vs_8XGZ\u[m b¥SVg

H¡VHgia{_§^d2mpPTgiHX¨YiSVgia•SVhYbDH‹¡cPTHŒ’`[\O,m¥SVgªYbDHI¡cPTHŒ¸‘RTHV˜

N·SWG!G"[VOm nlm/T\u/u…_An GI[a d^PQR]m YbDH{giHogiH_bHO8Yq[‡YbPTSVO SV

YiDH¡cPQHŒ/‘RTHV’YbDSW^UVDPQY&PT_EogiH¥Hgi[VdRTHªYiS"SVo2Hgq[‡YiH0R][M+PQRTaV’

[VOm–RTH[¡WH&P“YŽYbS‹‘RTHªSWo,Hgi[\YbPTSVO ZrGmX ˜'ªo2Hgq[‡YbPTSVO '7Z/Z \z/r

X[\Od,HX[\RTRQH€m¡8P][!YbDHXSVGIG"[\O,m R1u lm7g GZn[u ˜ Y”Yi[GVH_

[W_{[ o[\gq[\GIHYiHg{[\OPTOSpmpH HYiDH¬X^gigiHO8Y{¡8PTHŒ:J[VOm¸[

_§YbgiPQOU’VŒ”DPTXqD"P]_-YbDH&oR][\PTO!O,[\GIH&S\#[0‘RTH&SVg<S\#[ogiSVo2Hg C

YkaW’8[VOmIP“Y·gbHYb^giO_-YiDHZXSWgbgiH_bo2SVOmpPTOU}PTOSpmpHV’8SVg<[VOIHgigbSWg

XSVOmpPQYbPTSVO£˜

'ªo,Hgi[\YbPTSVO_ '[km/m ’ nlm\T\u ’ [nc_AU[m ’[VOm U/n\z\XcRT7Ulm [\giH

_§Yi[VOm[\gqm#˜ ¤SVgH—[\GIoRTHV’0SVo2Hgq[‡YiPQSWO nlm/T7u Yq[MGVH€_•[W_[

o[Vgi[VGIHYbHg‹[VO¬PQOScmHV’<[VOm¬[zd^pš2Hg!YbSwd2H•‘RQRTHm PQO£˜i Y

UWHYi_hYbDHZdRQSpXG![VmmpgiH_i_bH_¢SV2YiDHZXSVO8YbHOWYq_¢S\YiDH”‘RTHZ[\O,m

‘RTR]_PQO [VoogiSVogiPT[\YbHRQaYbDH"d^pšHgo[W_b_bHm PTO­o,[\gq[\GIHYiHg€˜

'ªo2Hgq[‡YiPQSWO ZrGm1X [WX¨Yb^,[\RTRQad^PTR]m_0YbDHIgiHogiH_bHO8Yq[‡YbPTSVO{SV

YiDH‹¡cPTHŒ‘,RQHW’#P“<PQYmpScH_ªOS\Y}H—pP]_kY}aVHY’2YbDHOwPQY0d2HD,[¡VH_

[W_”^_b^[\R7˜d'ªo2Hgq[‡YiPQSWO

n[m,'\m/TGk1m

X[\^_bH_ŽYiDH)XSVO_§Ybgi^X¨YiPQSWO

SV‹YiDH OHŒXSWO8YbHO8Yq_S\!YbDH ¡cPTHŒŽHm ‘RTHV’[\OmPQYi_{giH&C

PTOmpH—cPTOU,’Œ”DP]XqDacPTHR]m_&[IOHŒ/‘,RQHXSVO8YbH—8Y€˜Z'ªo2Hgq[‡YbPTSVO,_

† [u_an ’ nlmXlTA†cm ’ RAnlm/T7Ulm ’”[VOm z/X'l_aX [VgbH{¥SWgbdPTmmHO`’

d2HX[\^_bHz[\RTR&SVdjkHX¨Yq_"PTO ¡8PTHŒ mpPTgbH€X¨YiSVgiPQH€_![VgbHYiDHgiH¥SVg

RTSVUWPTX[\RZgiH[W_§SWO_8*wogiSVo2HgbYkaPTOXgbHG!HO8Yi_’&[\Om ¡cPTHŒ¦‘RTHV˜

x{S‡¡cPTOUzYiDHG’·SVgIXgiH[‡YiPQOUwOHŒ YbDPTOU8_)ŒŽSV^R]m¬RTH[Wm«YbS

PTOXSWDHgiHO,XHV˜

©ª¤V*APQOXRQ^,mpH_E[)X[VXqDHªGIHXqD[VOPT_bG ¥SVgŽO[VG!H '\Z/Z\z/r ’

Œ”DP]XqD­GI[GVH€_ZPQYo,S8_b_bPQdRQH)YbS{[¡VSWPTmYiSX[\RTR$YbDHIXSWOXgiHYiH

SWo,Hgi[\YbPTSVO¬SVZ[{‘RTH•_bap_kYiHG˜­µª_!©ª¤V* P]_)^,_§H€m«YbS­Œ·SWgbG

Œ”PQYbD Yigi[WmpP“YiPQSWO[\R”DPQHgi[VgiXqDP]XA‘RQHz_bap_kYiHG"_’<YiDHzH—pP]_kYiPQOU

X[VXqDH{D[VOmpRTPQOU¬_kYigi[\YbHUWa P]_"OSVYAogiHo[VgbH€m YiS«YbDHz>[VX¨Y

YiD[‡Y}GIScmP“¥acPTOUAYiDHIXSVO8YiHO8YªSV<[–‘RTH)D,[V_.§_bPTmH‹Hš2H€X¨Yi_0

SWOYbDH)XSVO8YbHO8Yi_”SV-SVYbDHg”‘RTH_˜dF&S‡ŒŽH¡VHg’cYiDP]_&P]_&H—[WX¨YEC

RTa"Œ”D[‡YŽD[\oo,HO_<Œ”DHOA[VO–^om[‡YiHªPTOA[¡cPTHŒ ‘RTHªX[\^_bH_

^om[\YbH_hSVOIS\YiDHg¢¡cPTHŒ‘RQH€_’8[\Om!_bSSVO‹YbDH”PTOSpmpH_<[V_i_§S<C

XPT[\YbHm•YiSIYbDS8_§H}¡cPQHŒ/‘,RQH€_’[W_”mpH_iXgiPTd,H€m•PTOs*cHXYbPTSVO{v˜vp˜

*cS,’`f-S\>¤V* PQOc¡‡[\RTP]m[‡YiH_ªYbDH"X[VXqDH!D[\O,mpRQPTOUGIHXqD[VOP]_§G

dca¥SVgqXPTOU YbDHz©ª¤V* YiS X[VRQRªH¡VHgba YbPTGIHzYbDHwXSWOXgiHYiH

SWo,Hgi[\YbPTSVO`˜

£

x{P]_b_bPQOU0o,[\gbYi_$PQO"[ª¡cPQHŒ¬‘RTH&[\giH·RTP,GVHŽDPTmmpHO`˜VXŽHPTOU[\dRQH

YbSDP]mpH"_§SWG!H!o[Vg§Yq_ªSV·[A‘RQH!P]_[A^_bH¥^R-¥H[‡Yi^giHV’#d^pY[

^_bHg&G"[aAŒE[\O8Y&YiS–_§HHŒ”D[\Y&PT_ZPQO_bP]mpHSVOHDPTmmpHOzo,[\gbY˜

*cS’.kYbS‹d,H[‹DP]mmpHOo[Vg§YEŒ”P“YiDAOc^G‹d,Hg0l00P]_·YbgiH[‡YiHm•[V_

[ogiSVo2HgbYkaV˜¢CEDHª^_bHgŽPT_E[\RTRTS‡Œ·H€m!YbSI_§o2HXP“¥a–[)¡8PTHŒ dca–[

ogiSVo2HgbYka 7 {ogbS‡¡cP]mpHm PT_”[!G"[\gKG"Oc^G)d2Hg”PTOAYiDH

¡cPQHŒ¸‘RQH!S\¢YiDH‹X^gigbHOWY0¡cPQHŒ˜ 6&˜U˜T’,PTOzYiDH!H—[\GIoRTHS\

*cHXYbPTSVO–Jp˜Jc’8[\OSVYbDHg-_bDHRQR_bHe8^HOXHE^_bPTOUf-S\>¤V*‹Œ·SW^RTm

d,H7*

OPaƒ[QR1ue†T7n0-sP

OP\PtQ 'lk

Y[Z\Z^];R

OP

f

QRT7UY[Z/Z^]:R

]/]\]/]/]/]/]\]/]/]/]/]\]/]/]/]C-sP

Y7r/nc_aX[U[Y4`sktU[u[mn/n^v2w , px/ucwv ,cb i

]/]\]/]/]/]/]\]/]/]/]/]\]/]/]/]C-

f

OP

j

QR1ue†T7n0-sP

OP

o Q 'lk

kArlmGR[_tY_7RT7Uc_1Z1X…‡

/

Tn0-, ‡ / Tn0-gG‡

Y[Z\Z^];R

OP

q

QRT7UY[Z/Z^]:R

_aX/U Y&`s_aX[U ,cb„d

_aX/Ug^i

TGk\km7n/U ` , Q P b i

gp , i

]/]\]/]/]/]/]\]/]/]/]/]\]/]/]/]C-sP

Š

HPTGIoRTHGIHO8Y”YbDPT_Ž¥H€[‡Yb^gbH}dca–^_bPQOU

_5]†cT7n…k

YiSIXSVG C

o^pYiHYbDHw_bHY"SV0SWdpjkHXYi_ Z…_\k YbD[\Y–d,HRQSWOU­YbS«YiDH{OHŒ

¡cPQHŒ¬‘RTHV’\dcaco[W_b_bPQOU&YbDHEe8^HgbaGIH€XqD[\OP]_bG˜$CEDP]_¢[\RTRQS‡Œ&_

YbSzgiH[VRQRTa­O[¡cPQU8[‡YbH"PTO«YbDH•XSWO8YbHO8Y)SV&[‘RTHV’¢[VmmPQOUzYbS

f-S\>¤V*‹YbDHª[Vmp¡‡[\O8Yq[\UVH€_-S\593^Ka¯¨®:W®_§ap_§YbHGI_˜ 9 S\YiH”YbD,[‡Y

YbDHªmpPQgiHXYbSWgba †T7n0-sP P]_¢OSVY·_bo,H€XP][\R)HVPQY·_§o2HXP“‘,H_h[0¡cPQHŒ’

PQO Œ”DP]XqDwPTOXgiHGIHO8Yq_ª[VOmw[A¡8PTHŒ ‘RQHI[\giH‹XSVGIo^pYiHm [V_

^_b^[\R7˜

*pSVGIHEYbScSVR]_¢giHe8^PTgbHŽYiD[‡YhPTOp¥SVgiG"[‡YiPQSWO‹giHG"[\PTO_-PTO–_§Ho C

[\gq[‡YiH}‘RQH€_’,HV˜U˜T’IU8[¡["XSVGIoPTRQHgi_”¥SVgqXH}YbDHogiSVUVgq[\GIGIHg

YbSG"[\o­[\RTR-XRT[W_b_bH_ªSVO­mpPQš2HgbHOWY}‘RTH_˜]*cS,’#Œ·HI[VmmpHmzYbS

f-S\>¤V*AYbDH[\dPQRTP“Yka–YbSIGISV^O8YZ[!UVgiSV^o•S\‘RQH€_˜¢CEDP]_-jk^_§Y

gbH€e8^PQgiH_$YiSPTO_§Hg§Y<_bo2HXP][\R,G"[\gKGc_-PTOIYbDH&¡cPQHŒ‘,RQHEYiSgbHo C

gbH€_§HO8YŽYiDH}‘RTHd,SW^Om[VgbPTH_˜

­E $%

7LNM LN% [#l^%

CEDH ”°‡¯¨®4Ÿj Tshœm TiL^Ÿ¨® f PT_•PTG!oRQHG!HO8YbHm[V_•[\O

H—cYbHO_bPQSWO YbS YbDH <>b_Vœ>´=<œm Q ^Ÿq®gf‹˜iYIXSVO_bP]_kYq_)PTO[

^_bHgC7RTH¡WHR`‘,RQH!_§ap_§YbHG d[W_§H€m{SVOwf$HgbR]¤V*˜ 6ªC&JAPT_ª^_bHm

[V_E[\O^OmHgiRQacPTOU)‘,RQH_bac_§YbHG YbSI_§YbSVgiHª‘RQHXSVO8YbHOWYq_E[\Om

GIHYi[*Cm[‡Yi[˜‹CEDP]_0PQGIoRTHGIHOWYq[‡YiPQSWO­_§YkacRQHIP]_ª¡WHgiazXSWO8¡WH&C

OPTHO8Y¥SVgogiS\YiS\YkacoPTOU’#d^pYP“YacPTHR]m_[gi[\YbDHg_§RTS‡Œ‘RTH

_§ap_§YbHG˜-CEDH·YbPTGIH”o,HO[\RQYkagi[\YbPTSªSVf-HgiRT¤V*)PT_-[Vd,SW^pY-YkŒ·S

ŠŒ‹>tŠŽ

XŽPQd,C£H µ&gbYbP]XRTH fhgiSVUVgq[\G

_bPW+H}S\

_bo,H€XPQ‘,X

Yigi[VO_bm^XHg

J\vIl`S<N J-!l£S3N !~l£S3N

_bPW+H}S\$‘RQH

JM! -}d t\u}d -8J}d

Oc^G‹d,Hg”S\

RTPQOH_

uW| # # ~t\uVv JM!`#p~

GISV^OWYEYiPQGIH

H§~_§Y¨™SVYbDHgi_ J

~JVJ\_

™‡|˜Jp~!V_

JVJV_

™\|˜| #\uW_

JM-W_

™‡|˜|ct‡uW_

CS\Yq[\R#Oc^G)d2Hg

SV$mpPQš2HgbHO8Y

[\Y§YbgiPTd^pYbH€_

t\|!~ Jp~€vWJ ~s`-Vu

µ¡VHgi[VUVH

Oc^G‹d,Hg”S\

[\Y§YbgiPTd^pYbH€_

o2Hg”RTPQOH

~1! ~;# ~s

_bPW+H}S\

XSVO8YbH—8YE‘RTH

t\uV|W|}d ~1- !V|}d Jp~!\s}d

_i[¡VHªYbPTGIH

|˜- #!V_ |˜J #M!W_ |˜vWv~_

'lk YiPQGIH

|˜J#VvV_ |˜Q~€|V|W_ |˜Q~‡t‡|V_

C[VdRQHI~7*V*p^GIGI[VgbaAS\-H—po,HgbPTGIHO8Yi_ H§~6J

Œ˜g˜Y˜ 60C&Jp’V¥SVghH€eW^,[\Rc¥^OXYbPTSVO[VRQPQYkaV˜¢CEDH&[WmmpH€m)¥^OX"C

YiPQSWO[\RTP“YiPQH€_hPTO"f-S\>¤V*™‡l *p¤V*I[\^UWGIHO8Y¢YbDH&YbPTG!HZo,HO[\RQYkaV˜

6¢—po2HgiPQGIHOWYq_<SWOA[ogiS\YiS\Ykaco2HZle*p¤V*"_bDS‡ŒYbD[\Y·O[¡cPTUW[*C

YiPQSWO«[VOm­eW^Hgia8PTOUPT_}gq[‡YiDHg}Hg8"XPQHO8Y’£H€_§o2HXPT[VRQRTa{Œ”DHO

XSVGIo[\giHmŒ”P“YiDYbDHPTg[VooRTPTX[‡YiPQSWORQH¡VHR0XSV^O8YbHgEC o[Vg§Yq_

RTPWGWH!XSVGIG"[\Om Y_8Xlu ˜F&S‡ŒŽH¡WHg€’,ŒŽH)SWd_§Hgb¡WHmYiD[‡YXgiH&C

[\YbPTSVO XSVGIG"[\Om_’RTPWGWH Rtnlm\T7Ulm ’,[VgbH!_§RTS‡Œ˜ Š HIXSVO,_§P]mpHg

YiDPT_ª[–X^gbgiHO8Y&_kYq[‡YiHS\¢[‡š#[\PTg”YbD,[‡YZUWPQ¡WH_EPTOmpP]X[‡YiPQSWO_&SWO

Œ”DHgbH}YiSIgbH‘OH0YbDH)PQGIoRTHGIHO8Yq[‡YbPTSVO£˜X·SVYbDle*p¤V*[\O,m

f-S\>¤V*)[\giHhogiS\YbSVYkaco,H€_YbD[\Y$[VgbHhPTO)o2HgiG"[\OHO8Y£H¡WSVRT^pYbPTSVO`˜

C£gq[\O,_bmp^,XHgq_![\giH•OSVY!ogbSWo,Hg!o,[\gbYi_‹S\ªHP“YiDHg"l *p¤V*

SWg"f$SV>¤V*˜O_§YbH€[Vm#’Žd,SVYbD ‘RTHz_§ap_§YbHGI_ISVš2Hg"DScSGp_!¥SVg

X[\RTRQPTOU"^_bHg CmH‘OH€m•Ybgq[\O_imp^XHgq_˜Z'ª^gEYbgq[\O_imp^XHgq_”[\giH

HP“YiDHgz[WmDC7DScX­_iXgiPQopYq_SVg{X[VRQR]_•YbS PTOmpH—pPTOU YbScSVR]_RTPWGWH

m7UlTC+…k ˜ O{SV^gZH—po2HgiPQGIHOWYq_’,Œ·H‹[\RTŒŽ[ap_”D[¡WH^_bHmYkŒŽS

Yigi[VO_bm^XHgi_)¥SVg!H[WXqD [\ooRQP]X[\YbPTSVO`˜ CEDH•‘gq_kY!SVOHo,HgEC

¥SWgbG"_”[!¥^RTRC7YbH—cY&PQOmH—pPQOU’[VOmAP]_”^_bHm•PTOH¡VHgbaA[VooRTPC

X[‡YbPTSVO£˜>Y<XSVO_bPT_§Yi_-SV2[J0RTPQOH€_-RQSWOU_bXgbPTopY-YbD,[‡YhH—cYigi[WX¨Yi_

SWOH–[‡YbYbgiPQd^YbH–o2HgŒŽSVgqm PQO¬[¡cPTHŒŽHm ‘RTHV˜CEDH–_§H€XSWOm

SWOH·P]_-_§o2HXP“‘2XhYiS&YbDHE[VooRTPTX[‡YiPQSWO`’‡[\Om)Œ”PQRTRcd,H”mpH€_bXgbPTd,H€m

Œ”PQYbDYbDH[\ooRTP]X[‡YiPQSWO`˜

Š H‹gi[VO{_§H¡VHgq[\R£H—po,HgbPTGIHO8Yi_”YbSA[W_b_bH_i_EYbDH)H8–XPQHOXa

SVf-SV>¤ *#’Wd2S\YiD–PQO–_bo2HHm"[VOm"mpP]_GI_bo[VXHV’c[\OmIPTO"^_i[\dPTRC

PQYkaV˜¢CEDH&oRT[\Y§¥SVgiG ¥SVg<[VRQR,H—po,HgbPTGIHO8Yi_hŒŽ[W_h[l`PTOc^p—Id,S—

gi^OOPTOUiGVHgbOHR&Jp˜s’¢Œ”PQYbD [­JWL0Dw+•f-HOWYiPQ^Gs’”tM#\|Wx{d

n&µªx ’¢[\Om [{sW|wL0doKF 6 mpPT_bG˜ O YiDH–¥SWRQRTS‡Œ”PTOUw_bHX"C

YiPQSWO`’[\RTRYbDHH—po,HgbPTGIHO8Yi_”[VgbH}RTPQOH&CSVgiPQHOWYiHm#˜

%

µ¶‘gq_kY"H—co2HgiPTG!HO8Y!P]_!YbS­GISV^O8Y"f-S\>¤V*¬SWO[iXŽPQdCH

‘RTHV˜ CEDHlX·PTdCH ‘RTH{P]_–[\d2SV^pY–uW|V|V| RTPQOH€_"RTSVOU,’·[\O,m

XSVO8Yi[VPQO_!GISVgiH•YbD[VO -W|V| HO8YbgiPQH€_˜ CEDH_§o2HXP“‘,X•Yigi[VO_KC

mp^,XHg·H—cYbgq[VXYi_¢ogbSWo,Hg§YiPQH€_¢YbD,[‡Y·XSVgigbH€_§o2SVOm‹YiSYbDHªGISW_§Y

X·PTdCH µ&gbYbP]XRTH fhgiSVUVgq[\G

*po[VXH

S‡¡WHgiDH[Wm"o2Hg

RTPTOH

|˜- }d ~V˜|}d |˜u~}d

*po[VXH

S‡¡WHgiDH[Wm

J\uA% J # % J\v%

*po[VXH

S‡¡WHgiDH[Wm"o2Hg

[\Y§YigbPTd^pYiH

~W˜Q~}d |˜-}d ~V˜s}d

C$[\dRTH)J[**c^GIG"[\gia–SV$H—co2HgiPTG!HO8Yi_ H4JJ

¥gbH€e8^HO8Y XŽPQd,C£H ‘,HR]m_s*}YiP“YiRQHW’$[V^pYbDSVg€’`aVH€[\g€’#HYiXV˜–CEDH

YkŒ·S•Ybgq[\O,_bmp^,XHgq_ªogbSpmp^,XHI[–YiS\Yi[VR-S\”t\|!~)mpPQš2HgbHOWY[\YEC

YbgiPQd^pYbH€_’‡[\O,m[\O[¡VHgi[VUVH$S\#~1!”[\Y§YbgiPTd^pYbH€_`o2HgRQPTOHV˜ 9 SVYbH

YbD[\Y&[‡Y§YigbPTd^pYiH_ESV$[‹RQPTOH}S\-[)UWPQ¡WHO XŽPTdCH ¸HO8Ybgia"G"[a

d,H‹gbHoRTPTX[‡YbH€mSVO{[\RTR£RTPQOH_&SV-YbDH)_i[\GIHHOWYigba•YbS"D,[\OmpRTH

YbDH>[WX¨Y!YbD[\Y‹YiDHgbH€[\RTRQa­^_bH¥^R”^OP“Y"P]_)YiDHHO8Ybgia [\Om

OS\YªYbDH!RTPQOHW˜0CEDHO`’PQY0d2HXSVGIH_Z¡VHgiaH[V_baYbS•O[¡cPQU8[‡YbH

PQO¬YbDH=XŽPTdCH ‘,RQHW˜ 9 [¡cPQU8[‡YiPQSWO ogiSVo2SW_bH_)_§^dmpPTgbH€X¨YiS*C

gbPTH_}PTO [ŒŽ[aYiD[‡YgiHGIPTOm_SV·YiH—cYECGIPQOPQOU…*HV˜U˜T’`Œ”DS

[\giHYbDH‹GISW_§Y&¥giHe8^HOWY}XS<C[V^pYbDSWgi_&S\<[\^YbDSWgªµ

Š

D,[‡Y

Œ·HgbH‹YbDH!GIS8_kYogiSVGIPTOHO8Y}aVH[Vgi_Z¥SVg_b^dpjkH€X¨Y *If-S\>¤V*

¥SVgiG"_{[ ‘RQH¬XSVO8YbH—cYSVI[Vd,SW^pYwuV|W|V|SVdpjkH€X¨Yq_ % t\|V|V|

[‡YbYbgiPQd^YbH_wPQO ~JVJ _bHXSWOm_˜ CEDPT_{P]_wmSVOH [\YzGISV^O8Y

YbPTGIHV’¢d^pY"_bPQOXHAPTO8YbHgiO[VRhYi[VdRTH_)[VgbHAo,Hgi_bPT_§YbHO8Y’h_b^d_bH&C

e8^HO8YAGISV^OWYq_"SVORQa XS8_kYA|˜J~1!«_§H€XSWOm_˜ CEDHw_bP,+H{S\

YbDH‘RQH‹XSVO8YiH—cYZP]_ªt‡uW|V|}dcaWYiH_˜d'ªO,XH}YbDH‘RTH)XSWO8YbH—cY

PT_)XgiH[‡YiHm#’SVOH–X[\O­O[¡cPQU8[‡YiH!PTO«P“Y€’Œ”DPTXqD«P]_}>[V_§Y’$[\Om

GIScmP“¥a ¡cPTHŒ ‘RTH_˜ ¤$PQOmPQOU«[\RTREXS*C[\^YbDSWgi_)S\ª[wUVPT¡VHO

[\^pYiDSVgH>P4˜HV˜T’ Rtu Tz/U\‰GZ7n0-\ZXGmGki 'lk„Tz[U7‰GZ7n0-;{ J·Yq[MGWH_

|˜J#•_§H€XSWOm_˜)x{SpmpPQ¥a8PTOU{[\O­HO8YigbaYq[MGVH€_}[\d2SV^pYI~"_§H€X"C

SVOm_˜zCScSVR]_H—pP]_kY¥SWg)G"[\OPQo^RT[\YbPTOUw[\O,m«HmpPQYbPTOU XŽPTd C

C£H ‘,RQH€_’d^pY}YiDHa{mpSOS\Y0S\šHg}[V_ªG"[\Ocao,S8_b_bPQdPQRTP“YiPQH€_

[V_h_bPTG!oRQa‹G!SW^O8YbPTOU}f-S\>¤V*!SVOI[XŽPQdCH ‘,RQHW˜-CEDH”SVORTa

YbDPTOUZYbD[\YG"[aZd2H<GIP]_b_bPQOU&PT_[”UVgq[\oDPTX[\R\^,_§Hg£PTOWYiHgb>[VXHV˜

µ ‘RTH”dgbS‡Œ&_bHg$SVgh[0Œ”PTOmpS‡ŒŽHm)YbH—8YhH€mpPQYbSVg¢RTP,GVH mA†TGR/k mpS

[0o[\gbY¢S\2YbDH$jkSVd£˜-CEDPT_¢mpHGISVO_§Ybgq[‡YiH_YbDH”PTO8YbHgbH€_kY¢S\[\O

SVo2Hgq[‡YiPQOUª_§ap_§YbHG¸[\oogbS8[VXqDeHH—cP]_§YbPTOU&PTOWYiHgb>[VXH_£[VRQgiH[Wmpa

Œ·SWgbGp_˜

'ª^gz_§H€XSVO,m/H—co2HgiPTG!HO8YP]_YbDH HmpPQYbPTSVOS\!YbDP]_{[\g C

YbP]XRTHV˜ YPT_XSVGIo,S8_§H€m PTO lC

6 [W_[¶_bPQOUVRTH ‘RTH

S\ [Vd,SW^pY ~‡t‡|W|RQPTOH€_˜ CEDH¸_§o2HXP“‘,XYbgq[\O_imp^XHg H—DC

Ybgq[VXYi_{[‡YbYbgiPQd^pYbH€_{RQP,GVH _bHXYbPTSVO`’_b^d_bHX¨YiPQSWO`’XSWG!GIHOWY€’

HYqX\˜ CEDP]_•ogbSpmp^XH_•[ YbSVYi[VR0SV‹Jp~€vWJ [\Y§YbgiPTd^pYbH€_’ª[\Om

[\O/[¡WHgq[\UWH{S\–~#¬[‡Y§YigbPTd^pYiH_o2HgRQPTOHV˜ CEDHw‘RQH«XSWO C

YbH—8Y{P]_d^PTR“Y¥giSVG _bXgi[\YiXqDPTOJWJ _bHXSVOm_’Z[VOmRTSW[WmDC

Hm SVO¸_§^d_§H€e8^HO8YG!SW^O8Yi_PTO|˜|`#\u_§H€XSVO,m_˜ YzSpX"C

X^oPQH€_ ~-!W|}dca8YbH_˜ µ&U8[\PTO`’ZO,[¡8PTUW[\YbPTSVO[VOm/e8^Hgba C

PQOU­[VgbH•>[V_§Y8*A‘OmpPTOU [\RTR”_§^d,_§H€X¨YbPTSVO,_YiD[‡YIYi[VRWG¬[Vd,SW^pY

_§acOXqDgbSWOPW+€[‡YiPQSWO H¥P7˜HW˜Q’ Rtu‚R1ZX[UlT…_8Xck -;ktg7XcRA‰[nlZ ]:{5i 'lk

kAz)ckmGRtU_1ZX.-;{ J£XS8_kYq_h[\d2SV^pYŽ|˜T~Z_§H€XSWOm_˜$x{SpmpPQ‘,X[‡YbPTSVO

Yi[GVH_"[Vd,SW^pYA|˜J#­_bHXSVOm_˜ l C 6 o2HgiG!PQYi_–YbS _boRQPQY•[

YbH—8YPTOWYiS _bH¡WHgq[\RZ‘RQH€_’ªd^pYP“Y{P]_Agq[‡YiDHgPTOXSWO8¡WHOPTHO8Y

d,H€X[V^_§HZGI[VOca‹SWo,Hgi[\YbPTSVO_hmSOS\YŽXgiSW_i_-‘RTH&d,SW^Om[VgbPTH_8*

HV˜U˜T’€_bH[VgiXqDPQOU,’_bo,HRQRC XqDHXGcPTOU’‡e8^Hgia C7giHoRT[WXPTOU˜e*cS,’‡Œ·H

t>t uwvgxyz