From 5a812e5972bd3353c6b95a75d68d38db2686fbd2 Mon Sep 17 00:00:00 2001
From: Dejan Mircevski <deki@google.com>
Date: Wed, 15 Jun 2016 01:26:02 -0400
Subject: [PATCH 1/3] First version of DebuggingFramework.md.

---
 DebuggingFramework.md | 139 ++++++++++++++++++++++++++++++++++++++++++
 wasm-debug-chart.png  | Bin 0 -> 22492 bytes
 2 files changed, 139 insertions(+)
 create mode 100644 DebuggingFramework.md
 create mode 100644 wasm-debug-chart.png

diff --git a/DebuggingFramework.md b/DebuggingFramework.md
new file mode 100644
index 00000000..6b246896
--- /dev/null
+++ b/DebuggingFramework.md
@@ -0,0 +1,139 @@
+#WebAssembly Debugging
+
+This is a design proposal for enabling source-level debugging of WebAssembly
+modules.
+
+## Introduction
+
+There are several entities involved in debugging a source program compiled into
+WebAssembly:
+
+- the compiled code being executed, called the _debuggee_
+- the browser engine executing the debuggee
+- the browser devtools
+- the source-program listing, usually split into multiple source files
+- the description of how the debuggee code maps to the source program and vice
+  versa (e.g., WebAssembly code locations to source code locations, source
+  variables to WebAssembly memory, WebAssembly call stack to source functions,
+  etc.), called the _debug info_
+
+These entities carry information and interact in particular ways to enable a
+user to perform debugging actions at the source-code level.  For example, the
+browser devtools offer a UI allowing the user to step through the source code,
+requiring partial execution of the debuggee chunk corresponding to each step,
+and displaying the source file containing the stepped-through program.
+
+Specifying the debugging framework means describing how these entities interact,
+what they need from each other, and how they access it; all in order to execute
+the user's commands.
+
+## Debugger as a Procedural Interface
+
+A crucial element of this design proposal is to omit specifying a particular
+format for the debug info.  Instead, we introduce a separate entity we call the
+debugger; its job is to act as a procedural intermediary between the devtools
+and the debug info.  Devtools execute user actions by leveraging debugger
+methods we will specify here.
+
+Thus any debug-info format is acceptable, as long as the debugger can correctly
+interpret it.  The format is, in effect, a convention between the front-end
+parsing the source and the debugger.
+
+What the design _does_ specify is two interaction protocols:
+
+1. between the devtools and the debugger, and
+2. between the debugger and the wasm execution engine
+
+## Action Flow
+
+For reference, the entities are charted in the figure below:
+
+![Entities making up the debug framework](wasm-debug-chart.png)
+
+(The figure uses the conventional phrase "wasm module" to refer to a debuggee.
+For now, we overlook the complexities of multiple wasm modules or mixing JS and
+wasm on the same call stack.)
+
+Black arrows in the figure indicate the action flow and timeline:
+
+1. When the page is first rendered, the debuggee is loaded into the browser and
+   sent to the wasm execution engine.
+2. The user interacts with the browser's devtools UI (eg, requesting a source
+   listing for a function to set a breakpoint).
+3. Devtools call on the debugger to execute operation(s) necessary to fulfilling
+   the user's request.  After going through steps 4 and/or 5, the debugger
+   returns a result for the devtools to display.
+4. The debugger consults the debug info and/or source files to obtain the proper
+   mapping between the source code and the wasm.
+5. Optionally, the debugger requests information from the browser, such as
+   examining the wasm memory or call stack in the execution engine.
+
+Note that 3 and 5 are bidirectional arrows: sometimes the flow of action goes
+from the browser through the debugger to devtools.  For instance, this will
+happen when a breakpoint is hit and the wasm execution is paused.  The browser
+will then notify the debugger, who will in turn notify devtools after
+translating the wasm program counter to the corresponding source line.
+
+## About the Debugger
+
+We propose that the debugger be a JavaScript library providing the interface
+described in the next section.  This allows for easy access to the browser, as
+well as ease of implementation because JavaScript is widely known and supported.
+
+This also makes it possible for the debuggee to contain a URL for the debugger
+to be used on it.  This URL can point to any server, allowing debugger reuse
+among many debuggees.
+
+## UI -> Debugger Protocol Operations
+
+First, we list the basic debugger operations that the UI can invoke:
+
+- get a source location given a mangled function name
+- get a function signature given a mangled function name
+- get the source given a location
+- set a breakpoint at a given location
+- interrupt the ongoing debuggee execution
+- get the source location for the current debuggee execution point
+- step into the next source line, descending into function calls
+- step over the next source line
+- get the current value of a given identifier (descending into struct members)
+- set the current value of a given identifier (descending into struct members)
+- get the type of a given identifier (descending into struct members)
+- get the current call stack as a list of source locations
+- return a given value from the current function
+
+(TODO: specify parameters and results for the above operations; also describe
+custom types like "source location")
+
+## Debugger -> UI Notifications
+
+- a step into/over has completed
+- a breakpoint was hit
+- an uncaught exception was thrown
+- `abort()` was called
+- `exit()` was called
+
+(TODO: specify parameters and results)
+
+## About Debug Info and Source Files
+
+The debugger will need to access the debug info and source files for the current
+debuggee.  The debuggee can specify URLs for these items.  Their format is not
+specified -- it can be anything that the debugger knows how to interpret.
+
+## Debugger -> Debuggee Protocol Operations
+
+- interrupt execution
+- set a breakpoint at a given byte offset
+- get the current call stack
+- execute the current wasm instruction and move on to the next one
+- get the value of a wasm memory location
+- set the value of a wasm memory location
+
+(TODO: specify parameters and results)
+
+## Debuggee -> Debugger Notifications
+
+- an uncaught exception was thrown
+
+(TODO: specify parameters and results)
diff --git a/wasm-debug-chart.png b/wasm-debug-chart.png
new file mode 100644
index 0000000000000000000000000000000000000000..3cfc60e3485c46b2389b53b3674caba8d0f36c6d
GIT binary patch
literal 22492
zcmbrmbyQVR+dX;+L68s$X(a>&q&r2rrMtVkQ&2i2q`SMjL%O6pq`N!sI`8+rW8887
zy7&HYaLyTfZ}wjCJoA}zu5}FhCM|-BjE@X~Kv2a*1?3<RSON$HCh;W#IFd{DT@$<^
z=t+nOLY|@j(p&PP!4V`IQB`{g<P|3L7Y34;j0+ATI*3ULA+92zzj*b^TPxNB0(lP+
z6XaKLnLk)^)=<1$?>$x4#Cl=7ruE~M?G}QNkQ8Bq+(af#omUOLNFt_vjBF|MwImAm
z^~c3rv7<v7`wb<m7ecRpCAIO<YBcx;2M6AG@e*IdT-$7I6CSy)jBeYHz+n6z|3pp>
zzN&}e{wq<YaMFleJ=T^J*j%tIp0(hJ-j}{aUC_t!zATtu5Q}v@9C5xT^O+4Ja<YS}
z#Co;y`FuhvRykL;zm^If!*#u-g!DCN%}-SDB0CHH_&=}z?+=Ix#SUq7)1<u^<zA}r
zq{L;jLGHau`9=~P_|YPed%5)xaSo$=KOwKljUf<qu+H{U?-#PHprEdRpde`9Movh0
zqs-q;0(kAF%Ri?_KYn01+#-z0UZ-)6rVp~!W4<wB7&2jg0}fu3lBT&6y-T^$5+vu3
zv({n8f5&CH$o^0FpO~7kT<x(Cyk;xEs7*c^H%26uK@O>lmsSa4)G#mgvV1EmI+x=G
zO_qCDmVyxFUHGmpvDe9QmLx7WYFVV_C+!ku&}5w>cD|6-7YS8!W0eA!YR+b6#I@GF
zB)Q&f5h2E95FL8le7PoAo)#|XJt6vclJM;<1q9K}#_@g<LUnd1gwNRCPsDx6X*hP2
z<S2d}Us`Z#c6OIA{5no%EzPx$UnSO=|5+-xi5*fAbC~oTSI^5b4508>%=#cNJn})O
z-zZd=tk$X4Vec7<`18_d>Ai`zq|u|2`(fP;%{WGfhj~m9O2iO)#>b{x3)PmT=Fr+D
zUeR)1(2$Kk8S+DOH&xvyZPUkkTj;NLo+skie^bZq)Z&H-<49`_sI{SPy;l0m@b0jA
z{#%QeB2gbHDKbGpoIr)Ig;tH<Nx6;1p#{uri)CAbQHKe0qRb8#tP{o?Lh+zVp$3;L
zWIxXEPF`m;H}9Dgjaxgr#{txbTpHsMnOC1Qir*`mwMc*&4BfdU3ztSiNtt|0z(o*#
zz!AO@vl+UJIdXmO5BvHJ;Xrql@@&)NYbn0d_tqJU2g{9VL@-Uble$=7Hcxc7jSNPN
zdO6#|;BTyREwGIjlO|pCP}|q=sKu;P!mnERDEurDVu!Vct>t5FU9N32vod!%nlU5)
zMbe~JM2U47$yK;<9Gn|a-pqe?t0VeqAV{9dqyA4L1OBbFwq8f}hl}%zp5B=SLiV1E
zgg!8?rfa+3C0YhFIK0DdF>x@wC}Hop=Z5z&L9an?B1$-1<-+>vzst`xn{hcNHvU`A
zMi5^2rb%i^l+{|_xfU3ujP(lyLEbD!>quRtd&`Q3K+NJTz>DiL>CwqkdrWRv#GYjK
zvG!edvjiUFyn)VsB9WlTlJV*fEu59JS8qQDD(`<MobwE&s#)IbOI-)&daI17sir?7
zewm{hc`$y6@D5L9n1TP3651l{#4<x$&sNa!Jw=n<b_WYHHZ)hoR0J}h;FRmxLdV{G
ze<Lqb>HM`b9*;hC@zx&pTRREeBkw82&Y5Fw36X?w5(*@{O1hW)IDwGQCMpqC^CYP@
z`Pb?<;h~!zy_P`*TCq_axcEyyx-28~H4snG=@GVE$+};?g2a?5;fv&TURZIFt6q(P
zB%cLCLR_-9%90u4>e7vGcxuKHn7~JqZbTMGIeiuw7}(iEEkBaOyjwD1`<~TeF(h!~
zPltT<@i_*Qw@P~?Pwyx7?u7F^T4-8ZHYFt@@;;sk@S3d5Y7pr0HU#)5$ecm0T<swA
z-kqeRWTXY(vIy}k8BccO-cdC2vg|1{JX_J@_QlNkht^JSrNhMgb$QF|7-RHS80eng
zoX+G~{FVcUzpbWtKm<jE;9l3;qQ4+IPw?~Ski@1Ib)6YMSnvu2K@Vo^MY`5`BF;L;
zZ)*Rn=q~wtSMu&uOGJptn(B&PeTPoElD_iRL-j9tkx|}SB#H#o32&)Fd(@K`M};2&
ze97g6vf_O_mh<;qK!>&Yc=Ay=D{}9$sM2)`E&PBNjpx11gqFONXo~oj>G5)qPWQtK
zhxZ<-@(7~sWoHdM5&fVt^|1SAvkDMB!meRmI`rQP^^i37lybE~5|KIwvX0lK3+XC7
zgBWmA7t7em*)J+6tpoI4%+)=<c0Lxgx$I;Kffz7oo%;6Mm4#AQ44xc43HVk9QXfk^
zYl#(<|0{V;R4^q!35N{`>=Z8Clq+Lwsykx4OqjI|1VIwT<t<Is@LRw8!4VpmE8zk$
zg*$><7EV3|6Wb<bwg5cD6>TyVy5BJ0{_z8Uz*zn$8glE+(#U1mShG6n_?-}iyE8~2
z4}>4P#CEaKcqPM@Yc4B7(c7lKyQbeM3fAuInrAXut@(^n!=-;ZzHgg5fRWKj4E`#p
zOQu+;vNWk+vvZsUO@d&nO_-1J-3i@HN|nY7UiK5>$sBx-{$nN^+lKldcj8C6xsQUQ
zZzu;q&w9rCzt=9Q{jF7hbtELnIM^HK=tVGF>4rEw&m!q)7{!r9v@N44d11Y+7hpVK
zA+Y?_6(VmuSx;?FJS|Fon5#k3QI~deU9T2x=18T=OxZovj;sGvwG&8XUCd1di}5pT
z^8WWn8K>j{Z2hjY5)E$m7o({qQo31{Odz5e&I4Y6ktv+=oc&?9yD|u1%NT<h!dfzG
zbow+C6r#fEjv5{7ZG9w~I7R`dXr`=_vf@v<yt1ZfSD>B%c^*Dku<grS>A97E%Ta&+
zF^7s%*W6g58-FvNPZz@+r?k$bryf8qC0c6bOBmY>lASZu^J5TK?P2bz^|a9Y)mTHQ
zy&sp><P3bqT6*j)R*;MkLMgQ~usCL1_W3BL@`>)>fKJQ^{GP{#-c)DL80Ob9Cz14K
zFcdkF-%^{{GE#%6T~fbZ=bB3cXwdMENXq9Khn054ze9&!`EkZvD+K%8%eZ>Rh1<QB
zROIO3$4`HT?Yxyflj!f@dU-?F>ceSYa08}!b3#y6PQvANOSKz1lGD7%S{ykWQA`lO
zRE&pj@qXGJ&&vW?^wsJIBS`0SMb^_ni>@=v&?A;`bS^d!^X2nw@5csp*NarL2%+6O
zFFeH651llZedPm2i*UgiHbTi!j>-grGUF{#_==D;v;5S}ra(Oi!1lkL4V|%o%uIDx
zv}4|I^Ogaeb@#BH&UjwT)0B;fV{-3yhc4=O+SU{(2_qGcl=S#vShPyNNTTl<_XD&~
zZ{4C?@APtrcJBou6x1KnKt6bQv?LtxgqW@jGod?EDTf~UEvPdadvIjF0>q$Vo(<Y0
zToeTSni3Hgl^;Tgvey(W^>+X8C5(y<VrJMOW-bbw-U9PUD|{pEr`o6ce}sz97y4=)
zxrSK;-#J<J<Y~RzgWzDe_Cwj)<@=*J$LH-hGvzaBQCvW9`eWuO#;C>CULm1<;N0T{
zpqD)_oe_kD{%ZRuB`~kl84!oBz5;1#IJWCNG8`Zb&zBSr&kbZE-OZV)=B}h}yxoaV
zyDC)&38uJ%@{Pzo4<rxM_EQdtaD8i~1vNemKf8VMAZGSM`6!o`9tuL2y$m%e>8K34
z9_IfU4a9KmR)e+od7?swlF7)8Sj2c_4>aa)won=vNS-&|j?=CsL=wfCb1O2$Mm4A8
zu1fAWfQ$m`28*XaNNTFARx%ejR{C3kLP6-)7uR%ai@z!`8uF3Q0xR7^Z6iwc2Faxe
z_l+a|4ZI14x-@ANLe7*?j8_F6hFHrJLT~}D;5e`2YwSp6Ar?HqZAih-e_k`oN&frs
z|9;@?B{lZ<!0b22<m=6aFvK!9?uU8J5!Q^ai<ij2^`{&V^r(N1vO=HE)+R$qNlnK%
zbo3dAdbNc<fwK`4{%_0X@-y_XFfbx}`yq>8q&||CB`3-Xl9vR-KWOQ=v1EWM*eCy6
z7@RQmeM_gLSfD)65=!OAeA*aXz~@UY_1^3&hHFk#7T%^i7?|6h18djIGswCkiWuuP
zN3JYpuqdM&HQv_gm+p^e^H0yMNQ}CLr~?-$6ZJ4$3J#<N^cKbUe0;x6sHXA_)T`6R
zr@a(rT`25*Mx)t}KBT7yOOoH_t7!@@!%w8@YJlcIr-8ew?K`Fzp>sj71eAbpxDH8n
zvd4YXM*Yv6Z8M_>x(={|c0o0Ot5rvPa9(H@1=fE~zCFv%#rogdG?z<NWRNoa_d;C;
z?p7xO&{61k_v>kqc1`{OIZ8qrWibNd&CMwJ-&1BsWXDrKNYCD==EPznsWkpvzn4Cl
z+Bq6!UP}2zZ*)u3o?~TLI8_ouRcjbK3Jc-9y5C61Lq$R}Jepl$2aIaBcw)?6MMPZD
zVLUR?m$h`Z2k^xo@Bwl;PA>>0I8_LfyshUYR&#kA4z7_vz817=$xt(BBAZ7feiPJc
zRFJQ-^;kh-rCGTenpg@6GypJ^%wbDAg|!#%qj~Uh_EKX)8jm9Y$Q0eAIe(9zXTLrh
zD-q><+5v<p^w9`enO36<)E<i~RZPMpW9ej29V`L4QTX1{O8UK?@=YO<(1ujOoT$Xz
z^TnpUjQie>DgfKQA0M(5f0ecO3*^D<uw)iB<Q}ZeQBPWGN&Jkyl7w^1q`-=-CSvua
zU3s76sRVR^`<e^D`&IM0^3iA_ARqqN9t#P+!NU+^z27Lna7n!dY~|`t+X@m=m(C?C
z&<sIOJcF2pTYhCrq**1G`gxvson4&`?v%cuX7kn*169T2*lY~t^PspRUEQ|?igq3g
z>ZDP+R}$*m9{K--)6qB9Cx!|Hz>|0;Y*Ro91>n<clR#0oJCWzk<8q=ypSuN@6J|QG
zGhegs^c#MLnA_!Vk$Rm~hyqrWQD;w7LJ_EZEP#TF0=_P6x!h&)KsScD9}{UmTetom
zNIC{w6omrK?*LIL+4}{B1sQWk1)bmzI!&1M(kQv0%7kv2ZJfcA;tiq0tF#x(I1{DG
z&s@}7WnIP{Hs>B?8udK}$Et)cxnaK?J#g&uX2Su{{ZpVZMtRk{a~)**WIKpAVN43S
zRGZYhb3TU_QAoEq*SM#RJE-LAWtUCyw_UKlV35e!W3Db+)BQyhL5RU;jRmeuZWdpm
zu1br>-@?z16roP-D|?#W@2;+hBybqP80#nH0|F1dp7;1MQs{;g@E!Z!ryf9khSnR{
z9JBQKWX_S;tnR_Q8~W1Yc&o23vsupsVg^W8ST0Ee+{NQ@e+}AV2g<KkN`1Wky>xus
z)Sn4InHFAV#He~N?uF??=67sBGE8(ek=-J1x~_R~U5^T#^GaB!pryU&QoY^h1cRkF
z(vy~kOKkMCI+(Wal$fNv?D$C_&U#+9UWNbMg%T}AZ=jDOnbQr&=VE#n)W`(dm1>Dv
zp9gYuV(uH_zVrxQOc@y&Y+td|x@9+W?(}jJQ!<Mi>8oDnD8A#yn2ex2#18&C6>j|(
zBy3icH&@3~Zto*8B3-U5q<|FUaJ^v;$t%mg7V%4{wg?s4ZU!8I()lU*;;EDiP@@W$
z9`PP8rf!F*2vkCnjtn5`6L#w6fRG1;ckA@d)eRFw@jdUm^&N$HD0j&0jleBlrqIq<
zlv(T%i31Tj@cY%w%f)I$Q1VTd8t~#qv~+h5Sb(;~v}b)9;*$P(dN3CZw8nc0RxUMX
zE8%6|+|AG{d>N4RlV%&@CBmhPsIQE>n^*8QS<ryEKQ-BXk~2$bZVJn=sqjU?-4_BW
zK)C4oBd2P{hMGMFW1<a42QXh3=X)5S|8{qmknXuTX6qi`??15GJxvM;5915E?K^-p
zCkIR{GwX=5vAF&<_O%ya&5JFV{3*FsPzl-DjSQV!1V>!M<<Yr=s!H2iR-93levoR7
z=vJfP?aq@ilzQ9mrd)z)K*4rve2)5o)ex^`0Zq3vYAm8e%4E5eBuV)YNCx6%bJ-Bs
z@Z0iXi!K0+02o{>RE0#A^1PcclKC7Xx6)X$Gu3ZrADa@FEd%Ji`c05Ix5z+H^Aicn
zwlkzPNJbp+j;!rcBO#$}-n$COuW5hdCrgz~U@UmO_5uz2dv;K{EhTyA2PP%C!c5GS
z5nP=o3blsmCI`#K1&>O^cs^SOFngh?Oz~$^;&9(;gP9De;<B9=NN5ro#xtEr>{+=0
zPa0l9qn`ZO`}Q*eJs^fQ)^h6w!*r*gld32>DygSGiU7?Cr1@DxEf0|7Pi)z6$KDz%
zYveV0Pn^<3JOTy5(i_w<h$~`G234bGXrfJZMD%G7YuW|!z@TueA?_Puc$Gi*cQZ)w
zYIOa7^l_eNTEwv7w^lV%!29iX53qq{g5dZ46WP|U4hlH^N8$LvR`C+&iqU944!+MD
z*FprQ)209Hf2MpY@}Mz$0V>RUKPiNeM~w<$4nU)jPF5tj%FtC0n^J+p^Y^~#Xp4~s
zm_gWPF*)X0yhCTI?SR95XdD8P&hBVZ2$t<I<7=2*Ovzeuw&SDcnD9s{yNJxOG_#rf
zX!B70x*I4{xQqqp_fCXsS{6QG+PP!0V;~u0ck=JWtd7Lcb|u&*DAQkiI^-bpYc*oE
z;D0!R-x?cOTHAn9&%()49R{n_9v(nZ|2||8_7-R`fQi+=o_@sXGIvp^$@gbf+?;t2
zCK?k_hG)X<=;iG1ok~8F=ciYeZSK)~ILAa1I0)}AwhnuxF@ffVlyIu1;sWGq&r&1;
z6=AMz{afX6(a;=Y($|$6A*c?~AR7blC_GI3qeEx)Ajn>$!6uAT%ADK;*5t}m0MsHf
zn~BtIwbra?KcT<Cjq54MGPW&I{?t*~iocX%YTm17ZafHz=j{BP8gm*9n9zVq#pJm<
zp4&mQ-aE~T`>sm=PXHid3f6{Ni4gUZuI$Lwa*6IeJAo^dYx4IshFBE~fvqRD-KK;}
zm?jj(HZwu30FnEFn<g2cv?#rmsEvv5o=a~O8d6V45pA0r!%o7HBGe}Y#tWq#Y^{67
zJr#GU{B|^LMzh;L{4beASRt`?)gNaz6e@&O%~<RV7aCJgb{~iUM9Jm`GqG?NCYZ~W
zYQ1!`n9Hk^7Gb?Fma*`1iIPmPB<66UO$tvDO#HIO76J@KU9%_gjrs=Aagf3G#_Jnz
zJPs*9`*t_RsK*S2MV6p;(||Iy6o3KXq%CRW=1{TAE@e^G;5THO<Y{9>G83?_u|;$D
zKkk@7&Ts|<P$RM(eVB2h>Y^w(orvC82n=}_SW)5^qxAF1_<euk^Ay`3k-9a1v_d=J
z?(9erfolChqcWr7l|X|}_u0glL5}ae7Ay2Y$-GqKev+F49td3qMc+}-VCX9u&)$nw
zzpF5$#p*a<NkG*e8a#1_^<E|X<1eV+nkvBG`vB2svm=YN4ydCsgMjFG5A+(hd$qX3
zq6lBidaI%Ov`>5@C35rm#vo4Dv7k!xsPaejxHko#U$#1hoXkp)$%`-6T>(&k<6zNj
zb0_C(ebtYLQkIO~Io1yYJW8mUbFN5C5NoZ!(D)^|d%75a7K5%zNaJYAuX6YrVm3c3
z)n*y9VUb1Fp2LZo@I$T+;JKL0<`TQU+9V-oXC7Op06~tziWk-59a56=+4*=e-Leh`
z=?;OXaR{Vp{NQAj2sNNJ4Bl&c)3=s7>%o?EiwcyaQTRC~X<-1gqJi9nc~Ym5xzhcI
zbf=@>K-~)>cQ{VIhmXV2Y_&T*Jd4Kvc(J~BP2CP?D%e;H3c$UBe>*XIt4Elp26@YQ
zI?UDJH$fdL08Hh$t!FcipIZH>8h;~7ro4WK3g=BT7uumC`nQgpLlTc8t~AVDop}s+
z0V0kOX1Vx3^6%MWX(T~pfv6zkm;c*?oy%pRR4hAkG0a;V^!_HY{Pa4vMGTDq5H5^*
zTNz)&$5t0i3F9&#zrXdD5CR@`bAJ6L#1`~&EJyZTBkNJhfuZ753oJ0aEi_Jzeb*a}
zLtq@vc7BeT7yz~mF0gEkVK0@`)Uzgzot!7Yz?ib&=HHr?;Pj-tWon#ZPxPGsb<%Ww
zl2T31AJ&nlU8}otB>>Wb=kVS`utF{zL<NA&M}LMbJ}`w{B4(_m|CSyR)tpRVeO6)&
zq0r#PcfstvKm&XlxbGskhb*b+oXs-8X)W@Et0y|Hl<+~HXEPFMUkTkgB@3IM?yAU!
z`%Z9eW3keYwZacbRR%D2K~;qM-@xBpl{Uczq5Tiw4j>qpa)rwTH3bswQNy7RYa;Wm
zH6*|$)@XVC=K(1MYC8ZF)}zPWxwxdf@!$!9N%I^OS>k;UtO>%0`;X_nbeZY;yooM}
zrLDH5-+Tf6IZ3KSQRgB+ZjO!+@P21F<?BN}!(4rC*7dQ>7G;k<xOR!}y?Qv!!|lB^
zYuUVXR_(DaNU9Pp7X9-=BCs|P215KJC<h>1PZuT)e+2wIZzDO3ZYc&%WjxRbjHa`a
zV0L6dIr?g~++#h!2x`jiqoy+o0^DWdj2@JPOc-Z2NS0}%8I8>T%mz?%d8c?0L=Kcv
ze+P(Qa3P?u%+4=Mz{&#PepL=v_~$MlBL1!K4+G+yu)#CI&8?lmjgqj))?pX~3~eZ`
z!!1NGBN6~|V{0wf#Vrl+0tu~A2#niSlH-)w#(;54;pt%D+}0@|p0{4h-?n5_hJXVB
zEq4i2BcbsOK7cl4o4DekAoxq&Cho2b8!u&|7ROr`YW5qYv2^5A_xA&t!;jgz78h9s
zh}4K)TWBIr-(tsjix?^>3i|WT=Qp+65nGN<1<FBy&?j;67y<Xb9jPUO-X+o1dut>u
znk4#;-fA_59HFcb(5~*GcV6913%Ko*7&U-oYPOmhYlTOYu|>BS16%3mmTA?Tan1@l
z&*$)f4Ny};Mt%Q*w4&@_T-Wwh2W7!u@@Oyy18H#5-Rzli*+x=u!|_UqacG@?k#7HK
zl&&8W@T2YVwm8s%%K~TVX3RIjHh-lUjfa!77vx2R1?AcqR`iccFo<!aPioWw<480q
zX<xUp_1x@a;dH&oGz_>-+Yc(G+XJghGjuEOQyd$Oc^O!!=3=+!WOVk5>?kir<gXPM
zT^i1}J=T6>+e$Hw+PymYb0zDd!VX}|)nZuG<zRRo47vP4?W&lj(PD}oaAv%7xdM7t
zB1X@jxh&_I&!3Bqsz`KP)51zMn_6?;L^8`(={}`bNe5&_3q<vJ#!5&>+sRebRC%uT
zp8zj$uGWdt>-)s#o_qV0f_Lo`sh($*2G#vKw#Pv+Ks32W(PB&OxzN2~q`9^q$vZL@
z$%|=8W-b_%G*b-%ia%TSNXo3-b;=1Wi1@l=vN0OgZUQL_ASp!-J7q`)4jXFvgl)?K
zJ|sMfHx#u?t;*>h)}Y!079zk3*p*}*@7u`UB$j~?z0E?o^T!B9ToAj~sQ_WyVkE?c
zHZq9zCDHK|XJ3mgEGuCE&m*wYKQP<%8BhOZgV$xjy3o=q$~~<$=QGq+x5)c3SvteV
zucg|a2X^aCp66~+Jx%WSIN;*y_06z!BP?Ku07myDFH+$(=5Qn;68TBO3E%6158q=l
ztPV9dB3~%FZF6YMbJBVuVYka2ECHG>SI|lE?sp$1&77uj25S;1+wgG)*P$xK6lz4X
z^7u!sj0H8-Su-?eA^u)W`kUMP?cC1UTCG3o6IsDnKI$;%1q=F0qaLsM+Xu<E(~$ls
zvbP}=o`WM0Z+oAQ3dPJ)yvIU0^T+D&IaB97Rb$?)&elmsQTwY3;jBCX|1L_4T${(1
zl4P?Tgdk5UH?OAgEO$A~C~}G#_rJWJ0**^FjeA|OQE#JA_3o||UD^w*PnwZny|2=u
zCqAGClEK#CaRtvL;`UFYfkGNvqhGx~|C6Z0na)fPHuKGm_r;m&mqA*%o9kyZ#!Lx)
z+B6>iT$;K5m=9dwuC*#h9c`?yJuXS_pC7vPZc<CkT^4kNN@0)7Z92czmR#j{CDC3a
zmH&|TqqO7WjQS+dWczPY_MCa5?XW*sl~1nq&K>%IybjFUQIkKt`vT#|OHbua8$H-g
zmKq}z&#DR~Gs%lDmPwwuq&Z&-vH*97uE{8C<)(YXnK{K_uwl9@ZzkZO)dty-Z|6&`
zhAT{9y?atmniqeOmEX|B6RYh<l9{sc#|2Y`f`uV&PmUQkl*eY`SCnWu;2sM3bH5BH
z+P3#@CpJE7VEL@OKa)#@YiO`L#soIiRrJUF%y<8nJlhuSR>JuQA%i8RU~2?1<vuBH
zcSqxUL06;g>4hyaHuZ2u3c;{0rPr`n&V1PJO3%+1`fa)wokZwxy_ZE7c=t(WO#f;5
zryPaN#I1CUJS9w-C#D`7gSt%t0?oa;>f)cXmH79~FNXQaq`gEa2NdkLZ&LYW;i!K6
zcP~H?=#^dRr5>DrLF~WIf~>_>*Oa?=PB5z*FcYZv;Ro}b-aWWfQ&uQGp3A<3E9aEn
z53D~|i*oY_wm)mc{Ih41YsuKXl?1ay<kR?0h1a>4GwZYBJ`1$#8a&?f+}!f92gvyU
zam=EKQSl+J$k;(8FY5IexJ#8ty*~4UDJADzfvq@)Cehb!@#xRWTHvuL?PHqi6(c4R
zOR<OGZLoqTm-34E&KxeG(jZUtlYCpSj9Ub$<{b)6B6G4=2^G`HI{pKzZN3oZz@@}9
zEd5pp`p!&YWw&{++C)xEowX)ggmqe7x>IAbE!6TXQ_y4UXTp8+Y~sch`A>|f&R1Q)
zsaX9F=xq4mWAxf)p<c>ZEO@i?DEnkV_+So)ZN|zhqh4&G=n;ElbUa-H9Sf1C<<2{y
z3Dq_e&a}(>@AJb83ESFPvPr#GS)Qo@Fk}M4>W2<czfnw#zk&tsRI^3L%&9MSzkhTL
znv5OFbmVt+gT^wDUp!94-~k2`<8y>7O)2sLPN)2FFc5ZSJN>cje+NsA{vgj~K}>JC
z3NE$`dkd4XtUS+ptXHhN*D<+%qf{Cu5INjB?2DPY2u+$Fo{#(>LL1@;B9;J>B&k}R
zwHcQC9{>tJp0ncp)O%}x`E{99MK*UJ`kpn$-ZP?TTSi^u6ec$}n#|j}r=x%{p)$VH
zXQGK##kktAyZ9YgLHTL_fz5svqQd&<Ud%L~crOpH-6Dz}@rEXueo}9F<o9CvsQRya
zS=p`EaOJxFC?TgH5b1M`C0b1sf*07z%tb=XSOo>Oe&3Hp-ne**g3Rv&slNYqbhU3K
z$@J`2d5c<>IIrKhg}vGyE*jA>)A5=gi(38X;B%_M?!_?!epvM`$H6}~YCmi+QsngQ
zX*3*mvib45w(viLe^WrSi^n?=nS~&VwuMD!PhGb3&K(}%MnA3YJ@z6#q}+T$oHm(L
z+%Mu8@yk@>unL$nbMMCl0NeGG)<D3BPSeI45Fd}>qyNVe#!{$L6e&&R>y~NZgMF{*
zX3o3A=tGfq>9$vW<@##;dE0R4`Zm#(S34<S+u0#=<wrLT+a&Bq`Qemy$TNIb%Ce&&
zz&Qmw?-f0lJbujh?Q<6B<EHF;6K2W)c2ys-{w37AlTsP7#`LcQ*t`E$3Q<xyi~06}
zI?;J2D}~0oxh_hV7+oQhw5<2}xY~4L=(!ANYzajI`}-}&uT~l#tp8=I@PVubv4P>R
zt9@{eC3%(j0{{$Cs~d*E!Eo!E86PpWBVBU3#51pB^CbD*j`;bpW|Nbr#IsVAnmMc9
zH`E|e@mEsj1Th~(O5Y+Q**YV8;#n{nW_+v2b3UscF)_DF#fS`u%JSQ}nQbQ_{Y3WW
zM2R7=FA0nF4rZ5LaX0tpOxC-#WmA)d3vq(7&~|uFk09t-u>S=JGU)67?uGgPeBgin
zP%h?o@E5@-y{<L9;zX`+(9;5Xxdbrtrxi0V3nwjeJAWyN0q~9@m&grO_$!)YwbDG&
zi6o%#8j3h&bzpj_ekc&L3(8TmWCivyaoLba{`@80tllU6^L;@oG$jB3H}U_`P4XK0
zo<BC5<1a!P7-R_PE~ceAj~1oJxyv*ff9=@$mTD<|4*?4mefw)06<y3upSv?%CqDZ>
zb9$17X-ZVgugvJ((D8+*n-1Fv{s@43UGDZN^>`*TN}m<KDHi%R&r;SE`RGoQtImG^
z7GJ@!v!xl1MdEEbzar(9B%U#bG`LRh-+^{KlOZAWc!l|=!nh%*Golk3q`R2kQ6D=b
z;a4a<S)>wEvOi;n7z|n?YNlNMg9!rz$ga9hy_;Ac7L5jn?|f`ex(p8yiccHV-*5@k
z)s=3BjlV>URtzTpwC<HQT$JSF^uA>=mL|><X~Nn1QfYNd>d|~J-&*-<-RO?ND)$|l
zP%zVJQ^w8xNNs+9Jf9_L$d+{0d7L)WP7~5bUjo6q<0l8JiNF+fw!iKtAKlQ2e~#e_
zJQJtcp9}wT$`s{R0xQ*GmMBU}lf?@@d`h1`ka81(c93><ad_yUt5$96%!Gg5vK>vi
z4G7sDS(~dsgj9Lo1}(atGue*ljjJ0&(w!cAAVcvtaJ}fqc~Kz*1T!V=J=3wrl*0_8
zgC*gJhlw*%e-++%kOeAw6O(Fx{|ea{NlK&Rv+n+BZ>)N`O=4kTIlO<kzLe(Y{*-H#
zWi%g2S~&MQa&l-X3u#O?l5mmWW&2TEtzKwQN0mN0nCdMst-15zvqmBHUn)G#c|B$<
zm=ICvFAD;nd1>jvoHCi|(49AfPTiEw^(gxZtA(m}HWYK1K(Ib(F**^gupy#C0!X`I
z0t4%dh(1CCxIpvwUJckH^!+eNQi{Uca>+*^a*f$+48g~<$q7<!zmJeSsPx`>`C+U5
zwFgh2wih9Pn^oG{t=DG_i7ms*(K?*-=jMB5cC1g~&%UbFmMST3*ddI?GHkWhXrkq`
zR~+^q8pFY>db3R0vKp5(H0iY7vewor*x9ZhALdd-YjV|o>+cTpc!B)yTQ<8pTpgy<
zHY?&4{MylJt7~Hd-~HcOT}KaNDT;#;%K@eQq1EG_iL8~s@GJyR1WwRM_{@8UVs37(
z^!apia8#Y4UfDRrw#sNUg9y5ccGhDLVa%=xb1Rdz9|3dO@_nJf<%nj=ybbZohqr7_
zhqIm2m*ya?R+W0;eA0{J5;(1xKZyS}>{@1$)T|GFT6q$UR!YSgCW3$|fnRx<31%II
zh$*OsE26@ni#9mc#^{i-O_0tO8=!h5+njN`kPhKD&Jv3liIPT$Bq0-uPw<o(<Xg*?
zJ9L8F&s2~(+2t}7R3WsfTp<h;{)H@ypF4ko4`Jp~%C(D4Z(+W?x(;?QQC(SMoXPx<
zT%guP<P&If+4LIJ`ACsDxE3F>FYo_i_g!#We>-Zv{Uo2kC~|e2A^CG))^J1*jR=97
z8rsuDM}ov&I@v-RFxbUvl|Cs8tabo8&<>EYowp;{oo*nIj5=Q!lS@;|QjNy;bgdMQ
za>`#5lo3^(*1Us{TWcD%utE~-`+;wu&!x;qkbF@JYp=J`7Q5Cdm}6$OrR$VXwW@KY
z2?>#qJY+Q1o&2GSi=uRKQ~d&<%~*pJS*6iv#{+f}gq_e`zsxD6E&cJ?t?GjgDv{cB
z-le-D-jgHxfU=X}T5>n1uVB=ex^+8iEW+KNr)Bh)UIRB>kYktQmhb;K707?PU(`zt
z1u2!NaWvG||N10PF&^htd;g`nEVcLH{`)K4f<}4(i4X2u?=rJUZ9mG9@_UEffR7C}
zM>N-+UA7<97B$?@8eQssrQBX~cx$?E?Pf)kGCwcZn9tN*l#$c<O%arPw!v=dub|6(
z1#+w?`Qh<VwblY}b1<&=F?tB_q;*Sy`FmV?71a+7c;qdP2rLQE#r0qOr@sDykmtwi
zclX!F#?Ma?eX-PZHHj{AExH5;=Qs-gpxe2a3gJ<t{ck6wb1xeZZeaJ;XbXh<E{lre
zFUhEl9z_$(9P@#kI&NfnpJFBb0cb>--!Ss$LD)9<AMbp1$r@mLMORa1KHAK}S?YO<
z?_G8F?nJh+*>4;V8w^Ad%^;NI-#+zjI6KJo2ZN{SheDEl{MyNNwwNRd&ZA_OQ`@U&
z(ou+fp2<*`KZ>Uw9383`Ycr=@hUCg;D+rk}oB4%^NMMHsa@SS6?3!CjUgHPC%=3XA
z8n;n1bfe~S;g(p;8$%VIL+7{nWfX=$#hxvWs|^cNNM2)=cRJv$@~1B{jjVtChF}sa
zxhbEtVeT&`hK&Ceh#K2V6QM(+Lnu>5h8Ap}V|vBsckse3?H=Jhtx*z(%-?F&^|hlo
zKd9$>0{wNncPv{KL}^$!Egc=#!y8e~RrmR*gTZ)!{j2qo<O#bQSOC){I~t4F{C*$w
z@Tk2?m@A!lcAzW3#wPLjeZ655Xa@YSdAXK<0S5h%5;=I!tJ-a`|Fo}l20QGxbh+xR
zRtLJz!BV@m4v1>wUx3O1Es^Jz#me5YUkK|O`WdDOsl{<ZPh}-z1(OInrxU{!uB%6c
z{J?w_1|{&Z<+F`eljgF+&sT4AuL5{%PECRwg%_|?jT{unN$RYkxU8QH60~Pi79cV$
zE%hL)R|)w0YZuvVWfDEd3|osYF~y|D=chh;pO;(nFYXIAw;cx)iEKz=9UL8vl<Rik
zvfI3`Nve~GOt*bF@oMy3j4AB48&5C91oc)2R9Ju^Ndlq)v6rT5RfO9k5Bj!mj+So8
z5~pc;ccXiUyOeK+^FV!{q|x+A%z5><+K6NNvv!P517!qJu1FJlzS?5-;@*dIdaFqt
zkRLF!)m9%sw%U?kby%FT0LD-+o9hniWTKiDwyzW)fW9+F>;uEIFp**S2tRmmWh)<I
z=(W(6Csfi0c!J4+TJVy$rJ+ii)&Ca$`Z#Butx;Z1aUsB%&eY}uceR+P7iult={~&m
z0R7>tGyS2tRg8jriur<waIV3TthI{5{%lq^msUf_Z6D>K?D%z~E32VNn$^&$c0|WO
z@GX;<kwiOw>%*4%d6k6G(?OR(nsvd(ns9`dKn0^pg+T`mf~zCgRFbTeN;E|Ih*q)}
zJw}141?MlH{ewvzcADOM9^PvCrQXI3o}l33=0MIX!EXPE8vuDaURa(jJ;OnPFSns|
z$?_5D78wV2bt~*WU{ccMCA%d|t1LR~FNlK6*=)GH&U0;boZq*aKm7qkK0jX+3YveH
zm--TU5L*zF?kev`5{E$B`cv56NvXN+<zs^_WJArfaeYY}Z|L8~|16Ndpk^>zRR$P2
zq+Zd#D7mUuMBH$`rGL=J4_~YmED{|HYGN0t^jk7X?U}a|pR^0`qdi-5%ut=@9iL$T
zTbzDtEXMCOA^ZK_T`vN)=)&Y0hIjd~V5S@oN?O)%tur$-<LmUQIP&YK3q?RA7He+x
zKHs5<ow0f>{_{@ec8ZVgMVq)RvQDipVPFvUm?`ef5VbvT#Qywm=%md3Wd9-vXJWx{
z#P@j5a_i8hXu+qaG-tNn>1U^ZHivc5OTqC_T%8xWMU~4i{>=mF7!H?=fC2R`tv|v)
zVkFi*qWBypJ<+4zSGKW13n}0TC?JfQhE#E%Ca})?UGBFa0IaJYi;G-w<5N%Ot7|Ah
zX+5}iN9>8my+W|cGef<Gm$5%&J8+M+o)bCZzKwEJ7qDJpwl>%J>r!8G2!=eM;S)u;
z`Vs=pLS)$&61$BdDM7*da0A(4V4sOoGb|xItC^{00OAH)4hoJtoCFW+uRrLhWWA&9
z=Z|U{+|IG@@@UInezHBkw-SBV6HaKtkd{AN^i?{ITe`pU_ze+uKUYNZ1q}4g;mHlr
zp6cs&G32$9KA<3jGWl0eg(QF!si&%T8tw#2Y2?cM3LLw|W2huRWej@yT>31Kd~PhA
zz-9B)qW{W~fQ9M#vz3cqZV9pb3-N9<7Me~8IYE)Uq0OQm+(Al8++q|?Ga=}nA|Zp}
zR5&O{!#v!FGW|1b7hF~lk476`=m>+c@)R17Z|LHMhTTwYi`I3KDJs^L9PQcALohLj
zr2zzi5TMuIv^!l)5Hx=eGGB0F8vR~yu^GdFL0SWKpz7n!DsGchkhbdc@viq9=CZ(M
zu}NdV$bvz?`jyjP!xTMWCjVWh<sxFLE^`Iz_-*e2?P`5ArFv|8jD(WkYG>th!z|jG
zJ(yKCwtoWAy<zx2++7i!o@=lHeO@j(=qx2tf3p~9{&U4+>wz&gzfbgl(fGytn;ypy
z+gj_V^@KVWKqmoV905`Qsn&7-t_HME5Rfq<EGS`nQw>kdy~QHZ9es64%$*1d!0v@E
z8Ec7pe*@EVIp8J&_YU2(_BgzUXCELTTT;f`)2J>^2mA@hzoF`Ze?{s&5Jvu&yGCeq
zfEtEE6+qcS9^ouzU%!3;9-A5c(<>v{8h<Xu!Wo2BZ_j|&*w{jBqq!C<gzW%A6M(h>
zxh`8}1qYqZTk$EdA?JGnW-s*7fSsNXMv%pGIx(}>#$Laxs2GNC&;Q=?rX>&Y3*Rw=
zpx_U6i=wt;3xG-FA|s0qcbREuFJ1Ku@PxE-#i@MR)R%;ZZ*2EqLBxr!Sf#}WaK)9h
z|7GBd22l(pZ53pQP!`N{hsGMQuG9+xhDWvL&s*=6x$3in_H^0x{>0CSpwmp+OS<Ki
znWu=Bc<g2mU2vn_VYW<<C#O$|KwlUVm+?<1ZJk2-SA4%c-fh_1uC^nXc+Ov5e6F-v
zt*4c<;aisT6}pGW4{wL`fX)GgpQ59-ak|i0%jm(fM6D}@KdW~iE#pksT|($&9JTAB
z{+@lgnHZf}BK%S-Y?pBe(`SXun=5b^8Ci^fB3H`&^|kxm_;9M}{MFQXyf>c>$w5M#
zCx~AVy1Bpn)?aC3KywNRpP=yI>~w)h%H_(3#RTt{O`Ze+ncbK~qqvw|Z57V6o_V6D
zluk4)cDt~uRhy#U&QI$t!7*F=mEUojOJAL~R<<8558jdqz4N@Wo~<!gPQe5Q<=K1z
z&b>XVo8AEd9S~YLL|?VRt`iibql{B_nf-Xv@=Ecu=BUP}{)Q4ju1F({-`&IZAwPuf
zlDKj~v?bZn-$1{_6S=L#vV5FEeA`0#_w`F9hM>S~&qjP9Eu1`;w&(8!qrHi<*T3nf
z9KhB@f-m5ql{b2OxcG4Je+XJ%<fB%@Ho|34QDH<@OF_?Rz)kbMVQyC##CYo<Q4}u-
z_E%0>^bP8vZv^r5pz&_ShbVvt0Da6|w!&~ZT#tYSchrMs{rdi#)<&V5oHXhR8Z@yD
z6@2Fq0-x~qH}8)slB2%?fa@dRhdw|u1Qo}UVQH~Qt+}lP;-4S*A3sD(5ak4;95V5F
zFa&m+Uh}DNAtnU+6!N4Ru-6mARiI$hA1pI~BmcA5@ZZ;LZs_h$<0~r?E^OaG@&w>p
zkej~4LGWY~8wPfbED3aFqIr3*Za1?%Qane(TIxL9Q}K0_*>1FeU{tnLL`L;4gTf0E
z(ospM)BT?fjQ_iZ6guMnJzyGID(q^n2*;gzay>8O`kXJ+j)YwVZBO=5^p(MT_Mg-D
z_^Xd7>oZ=RjVmv_#xvgk=c_jN*`7$aslNN3XtOUTCH!4)yAja9=27@bW3pT6dAfmT
z?Be?&gTzr9A_VB8BJX78CA2%-$~L-_EW=^F_g}vTJ56Po#LrTz57X@LB-+E3%a<eL
z6Ti5%wsUWpU5AK@C-8bU&iEmsBeb<|mvASUgDqb>QzhzkLUfFnQx@dMV)w4MZJmy3
zSH258GELfoas%MvR^`8<vaZW+`z5DzoS0zeyY0Bv9rDb*P$Iw5FFWPYz(9z>H;inL
zRhKcme7q00GV@cZwvEbDKi;e?ZmS&E?{1*h>Ykz~4HNY)Ez~LCetHjVMvns)Un<9>
z0(zfOYFvevbmxD{SK=+s<%WgN(yG&bdsC@cYo|VrPuYL*ak@>i?2m~=#{aZ)HM|d;
zQo$D_Wkf&2l)cBb5|O9xkL-V>Hq0-91q|_@C&;h?efz@0AL+KUA6?({%AiVpw9Vz|
za_dcZH}4}u(|9RQ(kyt4Qz;LfZ0;Gc1wQPO>y`La%e9yvwro8JA21^SFeBhY66iH+
zYO&=%TZIM->k7y{Ww$W@F1eRn?IjPVBt6SVX*YYri;$sy5EtW*OlVDUIp^X^d6*|A
z1s=Ec;h*1o+zF{6K|$gvO0B=M-*+2iZPV;8!PaNepQvJU(Y4-G8pk@4*CQ@b4R=Oh
zv+x+})wXFn(L~pWCD+-5d2ylaa*|K(pnKvokES(@d$?4j5lqDLmOXtg+Twa^KT(%{
z?W5-K63|^|Kh|TV;U|4tvk2B~gAIE4T*?<5C@R+$iUk?yeQH$}x-gO(?iu7WrR?Fu
zE^|hSC|imzT%sZ!eUEuUfNsuAkuQqHO1>#QFCl;1NO@&b(^S^s79zTbjNb;wqPOB5
zVa5v1cT3L~G$4H#;aH6j@&CL!cN|VdYMomg0gvka<yuvF_7@hn>3ti;J}(<mhnV1o
zY=RH!sc#SYDwzXz5@1w2V)u@w!7BY-y}fOH`a42Vu|uN|UFEz>?B$dvIkc1))5CF`
z&)8n)c++_c657&KhA(Iksk&R=p?hSclOPj-q3|L~{I(_t>lJ|{N!m|)<Mz5J_Qr1a
zVJ?pGIq<~Bt@_?a=sdS=@{qmUm=c@<SocJ6Buq!VJW0)b#X_?@xbL`_Ked21?s`Kg
zo!VsNI^@5cbAG~6yzKOs`{3;I^<B88Aol1#c5nJ$I4zWC3-6HHihlYFt@1d&C_NOG
zYu<&ZU8MFMbD^n+p3ij1I}q~*oGbg?I{bAQs3jg+?JqN);rJOA!vn^_XrK49(<9i%
zT-NgUSJJ^^Bmaw2J9C!19``it2_Ck!Hn)~=0;ip{S3}z8Z~57*)ltyf-u6GRc-w+w
zTabU_R^)Au#G+G-LO11J*uK8UC%3;6a7ajYwk!)>yh2779kD*ehoJLNVPbg%Y-vkX
z;~pR65I}F1hL$)|Sb|uO=N8BGwydodQAAB<&JX5Zp^~>nYr?yh;EvGKYDVw+mK0m)
ztFE);yJg^Sa62w0vH1c9Kq9uzTL$bQKrsN%S%7|*K!KdYZp$n8Ht!E>^ViMq+}3BO
z%?4e>zE;adU6Wpu#VW8q9Vtn2dFR(dDve>0JZi9i&+lJow0ebH%HPYjcrZ--;YkO>
zd^7ZzLcy|<V}{oo@Q$>@nZ0Tn@xD0WC7LJC{chf6V%V{~?B8E(^2Cyd({DzB?mF>k
z!-3kbM!T?3i&J9zS&BXtNKN3CeJj(G-BY9yA0B^UvQW;+RcFZ@alU>61I%Edzf*%q
zxzDyY5Fi!<07v1hE=Kn`F7AgK#o(?G`SXE@F2rvw2E@Sn&2;PM1|AgOSSuM!QQUZE
z3n}!8THTq<`FnqoKdsaEa5qSFf)6yc8Ndd{8F~6payZ@6t}f%+a!x_GQdCQ{VI>%|
zOVIMqGB)fnDt#DpxaQq{?YqoY^W6Y`vguV?Daae<CI?g1SD>?yAwI>b$i|)N`Y1Kn
zfIpnB2lPwaNjh;H)NsNNg23fEP2vhW_P-FLKPqosQf(SSkH{@C`CE-GD;qhK#u`bt
zP-g@@<HbFfRkbE!AS$bNuYW`3&X#Fb7OCnHTin@i%>uO+*6Yq=MyHMUR1Nk2j!t=j
z;3MUviUOk1{%*ro&3hbUX8zdrbP><PSUT4}N%-Mx->y)h%n}U+vyDI;FiboaU5e>x
zJe3*)7;t2uVS*CxNq+6RS)JLM6MD(QXw#b7JrB?~HzSFm5zgL#`(}ty%Mf9i3hrN1
ztutLadp%jgF~wSS*LX1ODSZ+P;lv&$`8S&|_y_lS-R|4Vlz>q&2j1Qh6@=|KXs+7#
zm9F|$%3c=#C>|+AgQ+fUHL<^v=7v3o=jVU)cw5>Dlp6%}`ft_};=z1HH}~>)p6@{L
ziA+qV;!xVvaiW?m{QWJv;!<%{mZeall>{h!m03`k(Cloz)d!4!|2+O)F+mN<I$3+b
zNd=L%E4MHofT3>#L^)J+&pSU4aF+mWT5VI-*Js_V0(@(zoZg!q!vcDd@c9zASn^#8
zP&oQuMz4z1)+Ekr(@w1n<KP#XY?qMjwufb&t-YDii{x5ZiPWaH2fANzz90Wp?8JI-
zMKmyExS&$EPVarh)v>kIi^pvG>2SGhB&H)xm-z{?eaT%mxd}g6hnR&rHeKWND^6FX
z!9YGRt<Pwl<{Kk{aXQQo*REqIv@gS{_9IMcUkO$P{v`y+5PW9K?$97Uo3k5TU|*-p
zhOiFZ8q(y+5a*d78AGONwFRdSIBbgcPiGzH>YZLdmHu2tQ}+oWhyBEjU+v9sN)ONq
zw{2vIP`au)LkC^nZlcwGT|STo9z%i83WVYCa{FN@0ZTkZ32!dAEpYQs?;q)iP|6z2
zJDlI35_<BPi>{2~+p&=bqk6yVHa<Fr!qB_P646q^1Q-*wea+Tuv&Wv8-=)IfE7#aW
z*g>8n8c6<cooV$?pVk_fATEwKzku|n(UQQ4PrY_L8u~PW=xi=8)qOXWoBF_J4PRm2
zivzj}oRi+VTm;P)$yV5(Z;0|lEle8RZZjMBM89{2gH4~W*pz8gWE}8-svrT<3*^i9
z>0`wlu&UE~xDpK<oT-kJ#J-p@2M<9Z^{ZhHn@+nlcNtCo3<S@Ys3G)H#`;nqO7X^X
zK0&t2ma`Qi9}H@$bf;?J{`{G?`@?ZDDnv+dt^eSAX<CY+SOwPbj>hJ{|M3?RO5mKW
zF)2=iCx$@Y%0mBNfcrW9ZTV~$F$j>d+e-tqAYKN6H9?|tDF;%9+4S;sf)Bpr%`<K_
zqsj-BvU**deM^_KUK4&q5v51hU%<ky_@KiAR9MwRoh!|=CGlaS+v!w#B<Fj%2D=Z)
zu=IL8;>jT!WX|C<pm_P{%EzjQDtD5ggF<rNef{djwVe_)orL{@wvA>P#Yg?;nt^Cq
zcp2}h&TP!42eS^cJc6gc=d@%pw{w^bq7)gZDjEaWV1EvVD+UOX*AAEBzW*YYhl<ku
z$eNriI<ib9LMYzSYr2_*29cOw5pL;9se5+<6U9bH<~=C2a$x0a#E_cXR?}`{U^pSV
zm!anm`AaSkh-_i{Y0-oYl5zD~4IbYav8gCIwE)avY6=Uwu<JU1EzoRZsM%*jkW4YS
zcYKbyouK%;8{$=PC^st^PyEXJt4L9h`({+NdmHEZ%)?LpbuS3CC#Txpl68^j)&du@
zer5;UE{VGmb(JoUR+aN}ukmsC{V#UoPiiQ0g5$#@Thmy;7h-AUajZ$7-COz$^oN%M
zKQhj#FikZ1bsLsJIs0e^Sk(f9ZT~+$#4N^9gktP<bCGHp36RhgCd&>XBflY9hw4dR
zyVC+b?&#d<l&)ld;O%PLn%TvaqO?C|kkO0->kxJZ&%{diblI*8PB^+-&_%z#grqkk
zhW&|4#D2fA!OC4%mY76{D_G1!Xs@|)529Uf5f`%gC<nX3vOw$wN2`dlU5Q=qa&#b1
zmn8Mccr^7zJWTZqFL?ib6Hk+#@+*h?zbQN-&)uw9ERKaS<ldzgSf74{blwvCFQ*}T
ze5D(`JK%OmOv-TXPvatBp~j+g4iES~K5)XycV*S}_T7}>cE$w!i<JzUR>FG4kGi&|
z=ALnK7V+~DmEEtXpx^uop}TjVD0S5YhAey;%!*w430LuzcHg{V>@|;l(K`PW{t*BT
zVM$4p&-1lpR8+w^tyR$F6r6XSMrimtd+cgp{Rym4bpy1@+OnkCGS=5`l%1L1%q6&E
zH9Ztd8f`2$>xXS67!UaME2)0!banjJJAvU85sI~wKN4_@i~E2*lS<?c^)ua^p8_Me
z9?$_1dA2@YUe7E%=L>H`ZRit<v|%X={1N{^ZXM6}n>os?yZcc!cFt|i&epQY?DpfJ
zx~WpGWeKm%(zHZmupU+Zr(fdv1ux9`gGfIXJAZvC$S>mUje>^qR=57+>i(_E(0WJm
zc?uKLJ2WQik!$x>5sdw|$vZk;`L^!@%sUxph?%?`v?_yfG?PQ0qM6qUY%A-W|9<Cb
z!fJ8Mx<e(@b8^^H8XW8&Kg$1jxYVSaC!G?Ny*(>HJ>8U)<mPP8gkCHZ?fiQ(r|TH{
zOSPnx=dLlen;M+wYv$?vs_NI*S%?qS-h4{{PT71q$HY@^L3ApESN`&ZG!x%VKyI7C
zlV+XGoZ07iCaI*EpJtw8>E8&{xx!Gr#OS1x6pa?T-o48j-v7F}{cMszXKNhSblE$$
zelfN88(EcE#)>%A&EQ7#Gx|zKgLP}M%yLo&_$BF|{aN*X<JIjmZ{Nj@a&8+n__G?1
zQ<3=wp79H{9`5^Q3Yn6dz1>k6PxZJnI<v05-}BA13Q@L%eZPFZNToTuZ@Eh>w#he<
zeRVXEi7CaxDVNV2VKLn}KE4Zk7jFz#r&i#~y4SrjKb|8Y<&DX@%+IpC`~#-@{P&0K
zZMBD+_1^HEy{V$T#qO#_{w%f)?dJT@^<IOi>H^NjhLsDH=z)!=*sO;TSHm6^=qGS;
z<6zBfx<x+m-=3mjvZ!Lm=HTAJKh@0{ITah#-ClV`@J6)QsKPCsWh_EDF*<miTyf*6
z&F-vL5t%Vhgi-ivTUvSABX-Y}O}yXJ#e<HT*JST+u#4aB_Uh^?zNf#f0bIMKyxXd=
z&;b$QWQ}`-nyYl)*5`r8OlPy@%yF0;ws3KUOUF0^eRE?@sVk)hIhAw)_be=e(;Tn6
zBLXM(Mb;mv5EBFGTw<lgTKaBF)vV@Z8f4f`1S?uLKAASnq3EKj5Q`E^n)`MRZ{aJa
z;mPrW7eC?g8+;|+*6<lc>#+swsf?pz!T&&2SlV7-HL<-BFL5!?xLe-VAJd1^!q39+
ziZD6Kp7})nSCmNNj=us!+syky7+a%JMLmf~Lwm*Az#yBOhi7wlx1TPp90rn4?aHAV
zywIp*t3I=5V3sn}!cyOg5FQx#67?N#aykDj1TvYUEON0CqxhQj8_x@6Wb6h?VX=aK
zyGmz;Ri9uwS+BDPJRzbRB@w3a$x7E(Jd^G|ZjP6<b(Tg>v7LIPj^MOwle6OL7jKTa
zx1(}z(~|Q;tMafm{;x`|JF2N{>j$JL3Rpl&bWlMc2r`Zk1Qf6UhE6~bLeZgjqyz$n
zA___;5D<|XI?}5|iXb3eNGJ()=m`*JLhtWJ-}n9b)_ZrYtaa`^XYaGiZ~xA@>#iKW
zXIpg}m15Y~kJ)MF_#&(283GG;`eS`!u$%Y7$a?PT;d^?7h=WSZOu<Lb^>rQrK3uC9
zd~SvKAZAlY(jRZD@mOb2Z|Z(U?Ttof`aq-%dcD;mCtbb(>Ql>jPNy2aL<b#oC-Hbs
zBQ{sa=6QYTLp5l{p^1i~R|m|JzjZUqc->YWD@g?#I{-0a3wl)+T-e>yH|V+6P=XV1
zppFmwMjz9qp3`Y&NMyZsxuVQ|r79+yMoS|n@t4lWJr`8^`*|;CfVq)T+hUr~;o1vU
zozyFUWggy0{cmaZQe2h=IfO|AAD`KpRv*`)_R&?F7PSW+n8`CJ%XLxh+i#-!n<g{3
zA3n5pa>4nJ`3y&&DCd|c*Viuo1o$})9K55GvrIyjE;|pSP~LPs*MPJ{w^M}aG;Z;Q
z{d-hGaTvt;<;8NfK<@oo05!yk2?P9vMuYFhmP?<NBZqJ33W%ZVV^eT)4<|=XHmUQJ
zi<z>8+&}kXpk2kb_b8;|VlP?~<LZ}LnQS21*^4U@J=o-h!I8tIrZPVDep`o@m6Yz~
z6eP{UZ(#`KM|Zo8{d;wUQ7Gx$?ZXQOD-!iXimhSX>8gAj&rb}=_{`^N+{2czN`EQt
z*yBzVQKh{bsA^m9AzxOC%c@P1ij7g1L({332+5+Fa-r1tvcT@5_^@_v{}!SWMApPg
z2wYI0%ii79r4go^ZGWI>AhSvM9Bx)NF8SVY;qP}mXnw(KLNTtUbh4Q|Nl^l*n0V!n
zB|CGEDw#eJ5_^n+@Q|8^c@e{u)*ojpU1&NxI;V}L4OEns8A$@F$@+JGhLL+C3qy3|
zHc`(~*<e4ad~B1t^iGhf_}DJ6S4L5RIf18PzDT3BeZf1EN(hXFIL|Fw%JkAr(p%d(
zhoLp}O>RtSVC)~dcH&UFW}Az-0TzZYJP)PLXIlgZ2Um{b!D)E$ud7KZ>3Q$hw!b&^
zgA9JeW;Zh(aV#y`4I?+BwcDj<VWlalgMxSej8v#y&3`i1(tCWuaj2a~Mx+x6i6~1n
ze2)~bu+x1t!ou#UR`waTkOi%ee^NtVRQM3Hl59V`Nz5i%U(XR;rUad{WwJgf6We&!
z&)!qByIbQ<G99z;`v%FKer98n;}G~kQp~^OkF`9!zwtfA1BkctMBhxMXHa|3W*XOC
z(>p@dv%~w^CUvIhP!{UV8%OCZ>d<F<9!l3jzFwJf-A*zYnZnm1SEQBh?mhI#au|OI
z;MZg<QKuJ+lrT>wnE+Ui6WLr{Fj!bpopNoLres$M`!(Z@v6hROxTfzzq&8x&)n2S8
za-d;VF@@G4bgS{^lt+uo@iC=%;?xwc+wHcxUbn_6#8xYTqzWrg?@2`AJ$HEOD1os?
z+Vc}`Z@=tw-b$@L4?b5&5QB?zodo+-RGK7X3|*5{C|_gV7;|6)cY%^B*rAgEdg_gK
zP8cS)`C`AmYIzV5(`+ciPw4!bSvS#k7lzR$RJf!h@xPZ4U=J|b3g}^ee3}o*pAmiu
zQMWWO5IBUx9T!@`l<h~_pD5Jbu7EDif=+@t-xPUj68PL~KG7=Rcq5mp*|p3kWTdUU
z@Q~YUFaq4&H{%YZh4g8CzNEYFP`gj3H{w;;ExkFu1hg`rhiA`J3>FJe;&6EF#R_4N
zcfRKKBz3T%HVx&Sw&lWYJU(3ABNL7Yy#?NEMyKAh0kXC;m)`YBF@au5LQB`)R6rd?
z4)&)>5|FSRiH76d^8#nujH#NEL!4JTWsGqCcKs=A!GryO`KQO+oLdlw$bQzs1N@b{
zkH!l~zvuN?dX~Hxy{puBaOg$XgHzAVFDzmm6n)zAOwTulUuMZyt?9ia<NNJt!)Cvf
z-}bsWeS13zhZBCo^c+|2L?J#nLbKWL2R~K4EdE>iIe@;S@U<z`XuqYCu)&R3?w-aB
z9M?BTU?obu<5|)3tQR0kt?d}wYzLI}djQ?`g7_D>BAeC{ms}*Hu3fxdlRRU%PGX9y
zqjIH^-8im^^`{R2in>_d9!)k>K}B0O#(_juds*er#9!zoN1x))1ZZ5willBkp?ss}
z6Cp_vn&@xMrm||kNXya3sW}`S?0&fOB1=TofS1TxuTOnPnYGX(7o2H0_{VwIcU%k%
zc4`w7>*~Ozkodf&_Frzy<SQ=&{NuC~VKui(E1057O8^X%I))^Ed}q*8Gq$ZH)X?A@
zY~*q}DLy15;O<_;$4i$sDMgjqnbrw`8N=<5?Ej+LgujhQjH-^}N`E{s+M(tM`0IeU
zjHo5-_cvwAJyiN(RT}xkDalA7#oOYr!9STTd-C@{I+!Ein6p8E-Z+V<ej4h;#wgbe
zUCT=0-|h!6h3g){mVI2Gy!6PTxvb^(d_1l2AuiX#yg_!8@(jt95p9A%6zQfbnbtUy
z^kA+SvL5eQsNhv&JHBGH&pYVKcrE}PYqt@t3!zbPCq85J`k_U&%Mh6e_5H?wZ?rNU
z+D6j@7G_g?)!^*IfKq^!Y(uoth2(Y6_}%ZMg3rK;jZH}xn^GPx9bmd|o7Y>ffERx`
z2``Q&Ti3%^oB)3AE{<4nNhxp=^D!99Yz&}MfI>bdmG-PiqVWEXDlv_IOK!SYl=Abn
zoBHE1?A|-yZhZ!nH2cIFIhz>g`rB-MgK*IOAB}CT8X{ez$<>ayQ>|(c_n;=oSy>-<
znFgT@31{ckgcsMUTQ+z31Vl`NXI15b$_Druq4H9RRbyvKmXelt@#(a&2&C6hwnSqj
z(-Q3WcK9SX6{YXq`YU(rt-{$NU}4byP2NbDUD?(&Ejcx((qvKgdtNE!C~rCOhI@0X
zU)kabTTdsET+!}fvYLyTY4SbY(vnGDo!XlM?0JbVrBrMb{C%lA<-%Qe(h9j;X*R>h
z2UcH1uy`(&)jxaK3RepM`T!tgBun=AkEqh`z|JAkMhJ#sX20uvhK(zl+^B4HI}vRy
zIQIN^ex8dL3hExR^Zw}X&q~$|rY_03zZG$ybgW@b?CSiUq#v(efDHz*hruO-gu(gJ
z%rDs;cACSgp$ZQeaL~-V*wxd=sF+E?<17a?U4#?3VLb_wTYkBu?<TOs3x|Bo2v$PN
z&h|?iXc0dvE6ExyH|=O4pr7<L=>2{>+rq@Xv>FXf`K$&!4*PKfx3?jb{gtUz{G!UJ
z3i>%fIlJ*wKX#t$ieHt70h|@y=Sb1F4O#-0$W6)uZteVq1c2_PQcd&2!jdR6ZYt)L
z<<*3WYDBd?%?sTiZx*5a(aO|rZ91d;t2AV1Ue0<bA?AKiS+HM6QM~%+*~c1ACSE3}
zY2*v!XGEnk$G`?kXqgyDz@liM%mPPDFDrab0{=m-S<8RDVaCCJ77A+q12~hyV|fNr
zd(#ZTUU!-Q3UE^6N#KOWAYj)DQUUg*AYd>3t8v8{xN8B<ZT#5)gh8O^CqST|jsF+X
zJD>EPUGIh;(ktsEsH-iG6Et)TDxW#VB6=swSycgv=2YS7&Ze_>T(3HT5mCNKi8m@C
zt$8d#j{fvr0YBi!N%OW#>-*spvpuxJJ3#d<m23LW=BWB5_?pbwOC*qc2dUZtD?-^f
zM~JJndScIydyoJd%bI0dpR7(aT41V_{e)Q^o|RZO9o-6^O{^c!hQ*u6PMn+&2hqfp
zSEq7-7Z6QM-=Ul~Mg0Or!$Cz<`@_bE?2-IOtu27PJ_)05^(yzhau}ZH%gQ&U5dya!
zB}?IMumX;&6q72Yv_{S>OdQJ9!x_$Jw9nL(Kz!uQA&hW1uDG{Yq$<V1X$n9$5G~>;
z@MoVJX6nWqKs18{JNvr}HkMd_4K7?&*$_2{NY*)ke+@Pqqrp9$62eM&81Wy%1jy)j
za0?Z}5x=^hN<wG4C2DhiS`wrRyzSXfZT&4#oA>Vr=Nk`AcTw^e?}h$S@T6wF2zyca
z|L!m-g@<7mwoDK1{Cl>}678bG!>9G|Ao9?L4hlDszO`7(nV|Q+u3(_C)@h`~!EKIj
zDB$3zIFn;#txboSh-nY7o|S0&lX!x3pgnF1gTd<E|9Vg@6i6GFx3RV^OJ{x^C9(Uy
zIe2WPBHLthzRj#D;4pe8<!wYn(Ld0c+1a)H!zx(3XyuM4tGi+ytP4B$81f^iD$YxF
za8qzH8m^Inl*wVKdpDhxaZ7Cw-WANo1D$N>-219p3r6xzbj^xGVld1q6RZP~S;v2G
z>2t|kyKNJ|VkLT=iFz@wG3#2)V@J!4^%IyckW&DNgUK6a1^fN*^9-z3=R{>U!@JYs
ztkoSDxF&|akWlm;eF8t5!vthf58RHZyTpKap>tVw_<}=#Vf$w}2HZ2q?L+SO7$Sz>
zO$H6HRVW=THg-nGhcv@^yN^{#->!QxF}k}wtH-$*Dzs=x#Jq49_3yqCl0OBLuit(R
z<vpRw81}STr(NKI)O}+PhKUlVG5=`sX!>^g1_L#95}Z%Wc2v6gevpaLj!cQH3^nSQ
z#ax11WeiR!=o~nu4zm*fc^58&oj>tV6Ra!nbN0D&0(LCL@7P691{w^9=L?Dn#_2f;
z41+YBgdt^#HJgzVO}QMPX|A>*#kG~Pe`wmn+=;s;68Laexv|L?T^xW{)1k*a6Na#9
zaRI2U0TdLJv!n))!T-hs3_|$tMKXSK)HtQ58UkS&O=1EvF(UNi<>M0|Ni{hR2@mY~
zX|6c!Q$h8>hwKdINlZZ28T+}Ln$#<hcsMY{cw_T9k@~S8z9H?Vunq_-Fz<i5ru*8w
z=9^c2nzG|C<ZfU6GI!XE1VD%wnj~T#=hZ-TIR~HtBs>4)n*G5w%4LDlDt}>j7X51=
zklqDC#Dli$uoBg7GtJjgHVG#IF+(scL~~qP0IHOI7X-?v8HEXoI@sy|_>L`40n}y~
z?G)|2ZNHu@v<g_2Uw%a(#xa|hHTpD$4So?&Irc$=Y|L{<r+c)48N^98PXOf`muQ$8
zY<PkN#15E&#05Dfi&~Aq3=8H<a$48{F0TH9o4KE96`qLFRIsdC`SLS6veOc?b&<>0
zTiP}~m;t*~s!;{Lu2JAx0t+W7>Xb2>mC9b5g{aAXbjt`J?f>mc+z%|9+MIxM$k{Li
NVX8WhN*+9W^)GicutER;

literal 0
HcmV?d00001


From 19fd73471e0852ea222bcaa9320ed82dca8656e3 Mon Sep 17 00:00:00 2001
From: Dejan Mircevski <deki@google.com>
Date: Wed, 15 Jun 2016 10:21:55 -0400
Subject: [PATCH 2/3] Reword so the debugger can itself be wasm.

---
 DebuggingFramework.md | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/DebuggingFramework.md b/DebuggingFramework.md
index 6b246896..58e7d134 100644
--- a/DebuggingFramework.md
+++ b/DebuggingFramework.md
@@ -76,14 +76,20 @@ translating the wasm program counter to the corresponding source line.
 
 ## About the Debugger
 
-We propose that the debugger be a JavaScript library providing the interface
-described in the next section.  This allows for easy access to the browser, as
-well as ease of implementation because JavaScript is widely known and supported.
+We propose that the debugger implement a JavaScript API (by, for example, being
+a JavaScript library) that provides the actions described in the next section.
+This allows for easy access to the browser, as well as ease of implementation
+because JavaScript is widely known and supported.
 
 This also makes it possible for the debuggee to contain a URL for the debugger
 to be used on it.  This URL can point to any server, allowing debugger reuse
 among many debuggees.
 
+Because wasm [will](GC.md), in the future, be callable from JavaScript, this
+opens up the possibility of a debugger itself being a wasm module.  Similarly,
+this API can, over time, expand to serve the debugging needs of not just wasm
+but also all other scripts on the page (most significantly JavaScript modules).
+
 ## UI -> Debugger Protocol Operations
 
 First, we list the basic debugger operations that the UI can invoke:

From ed04e15d141521839d294424a853157cdb9d7ecc Mon Sep 17 00:00:00 2001
From: Dejan Mircevski <deki@google.com>
Date: Tue, 28 Jun 2016 00:29:52 -0400
Subject: [PATCH 3/3] Add a few end-to-end flows.

Add missing operations the flows require.

Specify the debugger operations more precisely.
---
 DebuggingFramework.md | 111 ++++++++++++++++++++++++++++++++++--------
 1 file changed, 91 insertions(+), 20 deletions(-)

diff --git a/DebuggingFramework.md b/DebuggingFramework.md
index 58e7d134..bae0e0ab 100644
--- a/DebuggingFramework.md
+++ b/DebuggingFramework.md
@@ -92,28 +92,57 @@ but also all other scripts on the page (most significantly JavaScript modules).
 
 ## UI -> Debugger Protocol Operations
 
-First, we list the basic debugger operations that the UI can invoke:
-
-- get a source location given a mangled function name
-- get a function signature given a mangled function name
-- get the source given a location
-- set a breakpoint at a given location
-- interrupt the ongoing debuggee execution
-- get the source location for the current debuggee execution point
-- step into the next source line, descending into function calls
-- step over the next source line
-- get the current value of a given identifier (descending into struct members)
-- set the current value of a given identifier (descending into struct members)
-- get the type of a given identifier (descending into struct members)
-- get the current call stack as a list of source locations
-- return a given value from the current function
-
-(TODO: specify parameters and results for the above operations; also describe
-custom types like "source location")
+The following operations are available regardless of the debuggee's execution
+status:
+
+`init(debug_info_url)` the debugger visits the url, obtaining the debug info
+(including how to grab source files).
+
+`sources()` returns a list of handles to all source files.  A handle contains
+the file path and a unique identifier.
+
+`symbol_location(mangled_name)` returns the source location where the named
+symbol is defined.  Locations consist of a file handle, a line number, and a
+column number.
+
+`typeof(mangled_name)` returns the type of the named symbol; for functions,
+returns the entire function type, including the return type and the types of all
+parameters.  (TODO: define type)
+
+`source(file_handle)` returns the source-file text.
+
+`break(location)` sets a breakpoint, returning a handle to it.
+
+`status()` returns a value indicating whether the debuggee is currently running,
+paused, or inactive.
+
+`pause()` if the debuggee is currently running, pauses its execution; otherwise,
+does nothing.
+
+`resume()` if the debuggee is currently paused, resumes its execution;
+otherwise, does nothing.
+
+The following operations are additionally available when the debuggee is paused:
+
+`callstack()` returns the call stack of the debuggee's current execution state.
+The call stack is an array whose elements correspond to stack frames.  Each
+frame has the location, the mangled function name, and argument values.
+
+`step_into()` steps into debuggee's current source line (entering functions).
+
+`step_over()` steps over the current source line (not entering functions).
+
+`value(mangled_name)` returns the current value of the named symbol; the symbol
+is looked up in debuggee's current execution context.
+
+`set(mangled_name, value)` sets the current value of the named symbol; the
+symbol is looked up in the current debuggee execution context.
+
+`return(value)` makes the current function return the given value. (TODO: what
+if the function's return type is void?)
 
 ## Debugger -> UI Notifications
 
-- a step into/over has completed
 - a breakpoint was hit
 - an uncaught exception was thrown
 - `abort()` was called
@@ -129,10 +158,12 @@ specified -- it can be anything that the debugger knows how to interpret.
 
 ## Debugger -> Debuggee Protocol Operations
 
-- interrupt execution
+- pause execution
 - set a breakpoint at a given byte offset
 - get the current call stack
 - execute the current wasm instruction and move on to the next one
+- execute the current wasm instruction, but if it's a function call, execute the
+  whole function
 - get the value of a wasm memory location
 - set the value of a wasm memory location
 
@@ -143,3 +174,43 @@ specified -- it can be anything that the debugger knows how to interpret.
 - an uncaught exception was thrown
 
 (TODO: specify parameters and results)
+
+## Example End-To-End Flows
+
+Here are a few examples of how the user's actions can be implemented using the
+operations listed above:
+
+### Setting and Triggering a Breakpoint
+
+1. The UI initializes the debugger with the debug-info URL from the wasm module.
+2. The UI invokes `sources()` and shows a list of file paths.
+3. The user picks a file.  The UI invokes `source()` on the file's handle to
+   obtain the file's text, then displays it to the user.
+4. The user sets a breakpoint in the displayed source.
+   - The UI constructs a location from the file and the line, then invokes
+     `break()`.  It stores the returned handle in the list of existing
+     breakpoints.
+   - The debugger translates the source location into a wasm byte offset using
+     the debug info, then asks the debuggee to set a breakpoint there.
+5. When the breakpoint is triggered in the debuggee, the debuggee notifies the
+   debugger, which in turn notifies the UI.  The UI looks up the received handle
+   in the list of all breakpoints and informs the user which breakpoint has just
+   triggered.  The UI then invokes `callstack()` and displays it to the user for
+   examining.
+
+### Printing a Paused Program's Variable Value
+
+1. The user selects a symbol from the source listing.  The UI mangles the name
+   and invokes `value()` on it.
+2. The debugger looks up the symbol in the debug info and obtains its location
+   in the wasm memory.  It asks the debuggee for the memory contents and returns
+   the result to the UI, which displays it.
+
+### Stepping over a Source Line
+
+1. The users clicks the UI element for stepping over.  The UI invokes
+   `step_over()`.
+2. The debugger looks up the current location in the debug info.
+3. The debugger then tells the debuggee to execute the current wasm instruction,
+   executing whole functions.
+4. The debugger repeats steps 2 and 3 until the current location changes.