From b08e148cbeaa56ff68a00a1c228fb0430f02fbe2 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias <rodrigo.arias@bsc.es>
Date: Mon, 27 Feb 2023 12:02:25 +0100
Subject: [PATCH] Update mux documentation

---
 doc/dev/fig/mux.pdf  | Bin 18130 -> 0 bytes
 doc/dev/fig/mux.svg  | 306 ++++++++++-----------
 doc/dev/fig/mux1.svg | 628 +++++++++++++++++++++++++++++++++++++++++++
 doc/dev/mux.md       |  42 +--
 4 files changed, 798 insertions(+), 178 deletions(-)
 delete mode 100644 doc/dev/fig/mux.pdf
 create mode 100644 doc/dev/fig/mux1.svg

diff --git a/doc/dev/fig/mux.pdf b/doc/dev/fig/mux.pdf
deleted file mode 100644
index 8a6e88bee34a57b19d8e4ba13484a8dc8ccaf186..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 18130
zcmcJ$1y~*1vMn445Zr<XS-1pSxVyW%ySrO(cMI<B?ykYzf;$8V8eAT1JA41<-2dM9
zzV~Rp)jg}LYtC6UyQ|k4qlje$gs6bjjL^jOClwFS3;<eywVoL?2M2&g!qCdt!34ng
zDw2Z+001;XrWOu{cCUL2T?az}Lw#!lLuf88XnO}cLtRT~m$ZD<Wh-oESkKJLNqvp3
zP=O!c8%ZF2!HTBxQaiwSH%XjUvW^%!vQE~&#tLDH(zCNWwVkQ8^2f~LI|>ZPLb;`j
zxyhq78R6aZHuBb-wcL$nWWZeCIYH9RAIR?P`D()Z=0>kg_APnunG$2<5bGW?)^4Yr
zmB&wdes0pg`&tls>-G>UN{y86bc|Q?lH%0~d&(UhuagPU?`5=}6rOXK{+O5&4w3p$
zr2T>aOTR9in0{=u&h~9d;+KIn>??hv4|7Ex6O%ATu^qJWR@iZ1kQgTl7v19$+DY5f
zmm9I-mtJtxf=G5kpmyw{J{wvTdkn%1x|$+VGbU*%nd%b}vZmz`z9V>nJ0Qhg4TK*&
zZe_{Qhe<;;FtXEi=j{-cymecj&aN&L(gKHCM>e10jxLWX8w1xhSJU2cG_$-A-JU$*
zHNLE_X&y^+9cv-bIQ8n18A=pgb>O|k-qh|Eei*h9u`}J2bEVb*13+c%(^0FW)Ln^g
znH|J~!HNWWSuoXt225*w-bErG=xTotZcmAY_;dV}TJ2pdIG&^0SIT&4Id*E%%KR!U
z>V#<8+B1VMFO@7yo~*vbG`8@`jqy@E0|gfE%9kBLbB`Q`CrTa6P!Z#UvUB@3hcUko
z)iT5y>dK?lWA<79tc;?@@PI9DG#pzSUkImbNy|4-i$l@VVBk}`Vqu1HQAArc!?>9&
z5f5>Wl}`3cOrx+{`drLjd2u{sz5bApU||PKQbmVP%?5#^vDlknj1H9qlK3i>Pz)|c
z?NbO!O2IE+>$8bWa(k!O!Y5G)C}8g!g$1tS7wiWgegGJK?mLFoYv3OpN36xsGm1=F
z^;Y448cZ4_{6gLxKfuNukEZEMPM8Ar8ClWSQ4Ck$FgOJ!WB}y7f`+>#$2i8#_WF&l
z$)WRB_7Qg_H{LEm_}sg`k0cTAac+=A`Q*UxQ_*1S+%=(v-NbhJRjh8)&^Saj;OYbW
zIzB|A68R&RWxt0YMpyEY5g!c2R#u|u?4@8NE_B2|2`~};oR*2F2-1`l_k$4%w>*y^
zZU&@;Xviyc!jRX#&eVYINxz!N-qi)sTykVWon>zcS^FSVfq|zCfuv><vYP9ge3*bB
zT7BSLTh#Lb#pzcQK4lHLGSo=2=kV7v{YdqJ+s}*8nZ!<$r~xSEPJvM;XFwdTk2Dq&
z0Mo5ueo)rVc%G^>o}`bEsd>bZV2u=uS&6!Vfk*@-3mN?}=3%1^>q%b^^5?UWet=_J
zE=H1*G3kQQ4N`It&QDh(<`aDDf8r9XOKHWL<RLC9^rmL>bwci$LY)mb(u6k2P$N?4
z|CJC}4uXmuj9hdFQ$UuZHQH2H9HnpQ0jR6bN)tN>B@)w272N{i5+e{SL@>~_#A>(?
zUK$*8#dwr<E$XB64vL~IClV%1AfneR%SYGodLC)TTT(46QZ3F~S`c?~cI;m3U}txC
zypEOpDSRqzisy?4x=7x{;%}SYO5mb$C`~%e>DuA`YdK8II(X&$*{eALU7jY2mhm#F
zbp^1UYNREx`skx1U)(YWn=q_bT5PajMzPe8B6d~2M--zzma|h`UNBufC(xNvxISl|
zqh-!S2vT|Fs37%j(n}7(`gojs4Tq|L0ylJ1GpCj3P%v1eF27X<bKXIjNWqhlz^sMc
zs~WYW^&a#{7Yr)iha`I99=wMTl5TbcnTkXQR2mfYg}MMNH7&o-6HNZcsqt`~Z(qU&
z`c~&aB0&}Lz0IPV6*=!N=pJLIr2hOdc`_trPYT890a|FW*lJrR{{(@_ml-3dV#JEr
zoqJW)lT#bTk#ypm4ALHCIPB~t8GPUIT>%U#g`nInl{=pXee_uKUIt4yctT*oFzpzZ
zTA?rM5)AwHP7x`T!Dlo#nytEvmBo3O&rGhH&}deeFbg`HMk-AZFbley4Z7LTXl9r&
zb2`~ZDn$@5$5k?^RXob5DdJy)d6ki{EVGZ;gE;C%78~rluEpH?@wgq8njE^(>+c$B
z<#JBTE@ro)tl2-W*tMfS0Ta0QqPYuxkvcyla2H$-Iy@%{uUO7v>oaR8_cDccN9q+^
zlE~(cEZo?!Sx<jG7b`kET&|^n_NhP2N*ON!zB|RV`97`mozECg<(7N$aWr`IvU)6x
zzkb%g5<uER^^wuoAcUYsYp!o3JHPb@bMMPMey<9&p_RcO8R+%sEqA>othfDZ$^tSm
zGQKIiHR=CKZNDWmK^F&Md570T2H@a$6TJS>=+eG605tr(03d)yU-$L%HNCx_`2CYc
z$lA)`Z`wvwv{bYJra#l;n*k##;H!xFPtogjum6Aa&+=FQ02&2X8$$q%w4Rx~gXM3d
z`6Jh|{&^*h6ae_!2_aKEdj|l+AIJay`ImF79p0A~1$-mDkR_}X1xytSf)*d1q@V>e
z2*MgtTwKj;=fu+dhfBwUy;xPa{mzXg{*E#$k`oyn0F2*E5Cj5gldn?M>E17hG;mKP
z*KF7`!WjETt^Bzw=Uy9Ds1-ad2=Stl*eoYinJ__<Z@Gz>OP?`P?#I)7$l9fd-T`QX
z<s;2EGh?9|mOiNo?PU#m^?#4f+Z6wd4g>3-&H)1d=AA#B0i^rO8~^Fe<IUf{YXSkR
ztV|65coo@obJtLuYj{aBA8o$YGUr|}vd;K)z19P94(?M_)E{}Fi7UZSO{+ju%ci&Y
z5e`pya@LQAb}U|EY&Lup7KJKqo3Q5V_e!gb%)-2~PsoMlQDL;r`j%bCEABs^F1@@m
z*VRVb=Tq#<83!>g**o;Z+wtQOb7G0Xf}MZF#lg@>udfM+7*OF)_Z8b`UdImR%s_>}
zllq7H_6TRD%{l*s<>PRXyym{|^Yyj7dBF#pK-i$aKAa)hA4K7r3Ey^HT(D+yQgOl<
zK5s#-+%Dk0yL!w;Pp?GY`nBb_`;op-ibU>l#^niK>(tHe;*n2@dV-+uYt+J8PhkNn
zJl!LXwC5KBe`!)=azxZJ?^8ZgI3hY7Bjyl~I4sxdJ`uUq{sH#jC%x_dfgQxL!aL8D
zO7EEYCB(V=`XXADFHh&>tT8fn@ra2Np(2on=)vy-yc34=mCC<sl*$c>2&tpwnikEh
zeNVD`ubsruv?-*Sy9X&Q&6T!)KS?~LQPOYbxvk$iM9m@UxGE?w&!_73D@SnmgP9rK
zdXoJ`U0vykuIWSM38_<kLQR|B%*7X;rLganHES%DVvl)D(TJPC0CJ@Zu_O)sxi;dA
z+@C3nW|opk$^N`e)P5hr$MMg}1|QHr$;;JUIiM6&YziGk2t6E<xW^?{<g-u5z5gN+
zDHSPtP2?WuIkZZL3_9hL<W0H(cMG~&lT)i#!=buHsjbvl=HKIwI+YL1&yce&wiax3
zgi3%Kg92(sIdRVZ;?a`GAe~6v{~S(!h2jR|DXy33lIZgFw#Q!f%j^nfO3L)9)OYPL
z$=c~ft8-J&hy43#UnO83I2A#9lbz1tC>7(}9A^DzgxSW`yy=nD%SZ!hcHsGXO8%^G
z4tXs%cbbd#^0X&-ob*qQ=g3?a$4ssVWMo7N<m7;c6u$<#7+N|yM1lntk%;E+)g&6W
ziv!-hj6~QcIW$r2AY)VU*ui7LWCVhC)!B<GWhkZn1qAlh`HN~6pBvE41tW)p_aIN0
zhGeJxQF4|<EtsF=Q`!%^o-ZOkz*|@pz)#ISI-kFv+Ze95->>j=zaDj7?o*v2s|cfK
zNDq`D#qo~LGcbBkWbvaTi8lA?MyoYojQG`ufjX2G`O8I*PEkHQs96L`vp<cvLUEH3
ztMq&u)HzC4GK1{BD`41!5hHyy(4nz$9^d2>gRomm$2Z=DK55D8%oK;&2rTw)okp#N
zo@u!5i8QMq5zzc*AJWy5<sGIQS-0YLiS|*yc-|j?89?ojcpHP%j|wN|Uy!19B+YLA
zPEm(HMXyNiw~)nVk>x|0`?e+-qlr`#By}KQRJtLYg1tq8L7BspkYkbQk?}++r8Huj
zsH^F!S%Dm1cgAxnxEPpB_z)tpsSCqlGNaM>*<n)z9%OJJ$g`{5uGT_Il_ZzqWg8#9
zPLO1{<!oH-7@8NHARK@BX^n@1ZG`!u)p=qZKKxA8-9okgM8x7aq^>Rvm|OGM&~#zA
zjL?^56YN9R#{+IH1ltz_<<o?itRgm=N2gHX5cIP_IYrq~{Zwn4*;#%C35aiX=9=>e
z2`wPVKN$#D4tGuBx!^!!J0Iufrp1P^ugY2Z6|PkezF(xdQ&=F#4f)`Vn3^=?*N??B
z{CMZ`m1=!rrjnJLM^9s#MF<?XNAY37OXVC%hAB!c$Ms9vgM)GOC>(d&eOXgpM~${y
z*~c@TirdWx>%PwEdIyknKIad=a&}-ISwz6>lCIHIsiz>3$7O7;eh%zB7gsFOP-`H9
zo*qRB-Nsl8XJ8=)SJ~ylY2jm)GbWah2w)Nlwf2@=&Tg<hibGBFZ%1@HMzARo;kk_o
zIu=|sd!*1iAUYm$g^s6`Ou5#HlwmMF+@6cGi;Lemom;7@@0LudJ9`l9CQP-m8Nk}*
z9rraqJZBIxzbs%cE%wI*U9j!7r{mYZ_~08FFFU0Zu<r%L9LQsJ6URwH<RoX!s+G@T
zDJ+SE^W(Hs=52%@5IUl-FMPeWQTi5%n4Z91b@z!ls9R(rSZi6Uq8QV~K~Myb8QaO^
z7wLC+e0+3?-86@D3E=oXk!&6<qOgVnIj~}<LYb@*IHSMG7-@Ei<s2_g*Ai|Jzf%Qg
z`yr$d-uUO)EPV9p0gtMl(A$f`mGIQq6o;R|BrJJv0#d&_W^B0VK>_`c1e<)yVG3q`
z7X7Z=SDFL%Cry!T-ZK23u)K`0Wlg`L?;h3Z$0d^Qr?$5s<fQeElxJnAPPCfq2Ph;{
zT(%_EJ3hEy<-9KnO>>C4HDBH9{m|%q$bhskF15mDM_?X2r`j7~UN+}I?~iYlr<>Bt
zK*Uxg5^6On#M!rWloA`Y(@z;v91h|MF3(=92|bJ|*4hS^@0UI|_g-6DVO{F`5qkTY
z)7~!Jr|X}qRhxz^1d{hR1MPQlhwZb$5AAUQrO)5%-7LtI$%hruuJ&n>!_u@40SSA*
z*a}-Mfg4VOPwxxmJ<Wv8LiuaOI|+~GmbF|!UbI{`Nfi5Nn5{##i+XDNT+g{0E*Vg7
zIvDEZM$w3K6h`4&*7;hL8pn9!b@^zo*@v>cAD9g)U%w#Neh+VQN)aOL32JfBoo26^
zkGA^^o^<FYEDgdp$$<mWY*^^xCiCI8bZ+jZjcb2L^&X#-;>0wyO@A;%Q*LT(_&vCM
zs%|B9uWY<7dPP*RzGv2eg}hmhrn$wOY${=JFOYJD@)KdukE6KhO)Z=w`+Mi3nN2NT
zOq1xUNijB@R>YSx#)@wvZsre{T?=7rq$ek*=<Qrp1wvv!G~f??9*1(29z)$vb{^Zw
z;E0_=&ktZ+`-GG~`~+eU3lcIZ(ii(LmZd~2Ql>2NUHQ%Bq$t!H(G@47#p#ifXh9E_
z7pS$)=_#RN22TxGkhDH+6;Uv{D<l9PvY{A@EOmIsiztj6yw;w_z0+FQV2$qeawF55
zC1_{Qk04sBYaKH#k95gdS52~1Nmj@{>p&^?QaXv35s%UFJ^8VHr;|-C8kZ5L5~ut`
z1)q?GNMgmLD%n8$BldW7yjP)c$TYG}=sU6qwvaH*<%NL0bARPP^42I+BJMmcQ{{YS
z-V_6QGVvvd8Mi$5<vZ~f#?{2KRY_0=063rvlmqYq7DT^*P5{RUQx``U#$?F=7Kbpx
zk20};aAX^HI|6|Mp=4WPdz5t^TRl;U2PW_EhyMJag{xYOZHHrrC912Es;-)@mZ7Sl
zrr~l<eCqI+dbzq~t3>PQL-~WH;`gBMsO6fefxKVUO{G%;OVfBwOZepTBXXIkzTftF
zE){bD4^YwtNYhiioHpk-iI*%Kj!0a#(7t@iLE2ya*2mL!EYo8t5Xsaunm?sg6j>5c
zMfkdwgjmJtzt^m6LN==4Se2KTNAMbnV}+Yq(<UAiA@~yw8up_Ol!uk}J)Jatwmq?h
z)}s}vtype;=FaaA;a^j|{vMK2xEFs?>}t05os*FfQxOL3XOLpp-t$!gE~wT@LC`zX
zhw=S&FY+WxZZ<>NAb3Ao2r3?qlmkwmY>hZLx*2cGtM|qVIa#8}jHWJyCFB%y2qbel
z3}h)&Cf^j`!s!TIQ^nJbV`Z6~d8ZSfCW|OqpR>Wc$=4yISRu#5a1Q#uB_dx-d*3~n
z<77@0hZo0;<`0xQ*Rapp9`p8s)$^o_qt`SC7S7dMB)0^d=%m7Znsxkvdk^g%al+J=
zr&MBvim@MR77B*$OdeAp5WMe|A2ei+DKeAIeQJJCn3oz$MW{oDmlMtaPRVM(F&1OD
z!P}<+uV>X3t3O;bS~ptQpSXWW((BbSB4c<rY1cn(CCZ0QE?35PjsWbt=-+l&-`^@?
zxo7p{=lI1cnHNG?c_OwfszwzkPM9wP3`;yT_pS!3z>g#l5duKlFC~ns>8Td~Xtu!E
ztBHXK3V?Nn52<Tp%5wlVHf0x941vT^4dd1mnQ1B*qAd7nD*s$WJ#TR|Qns<Yf>E_j
z<9ZUBhsix%PhTeC%5N{`up$*_pRC=VyWFq5K5nL=hVM4Yhi9W@!f1>lP(I;nzQS-;
z29$grP*h)-+?M$iac-$XJH0xPa~&91L5nWK=5l2X4BxxA&aRK+`yyOk3v_Sl&zkn8
z)>>V5l2N)@9mu|VsNgBoZ)}$ppf6<cX3aQ}ynrS~u3ea0<*j1q&&nJ~W9I(&VR)GB
zVkPdj3)DcTz2F41YM6BKC{Jl?_S-iZ!UAU;U{O61m6<ZASYm7;3Wdp3^la8nHEF4>
zzAN)*!+q!O+o*<QjI#6={S%Z=x{*rQ#Q52aOhqA4<x)k8W)_2lx!Z)nQydabEN%SA
zzw%1xQH#tEAepveGp6$N`wpw~gbky<1heQm4LN`Q)fwkh00qx^C?+0|-a5j3vesVg
z;arbM6^9UxS^MO}j8KTDcExLc^dSsBUs>Eaqut}~IC<o2C%SgXX^#Hd!QA%kGJ<3}
z-v_y@aQHMj$IQrfnyDAk3vm^i51<tiMFw)j+Gc=+&?&-JAD1FgXXDhLwF)=u11*t6
zSjwMH!l}ckT^AvkNOrGpOgY9fON@JcBT>{3>TV9c&1*g^9&gU|s#Bl9Tu6eCGb3Mq
zWL}D#b2UKmZ;det9$+1*>nyUYQD9r3mm^1NrI4M&G5UZx#aJ>N;E!BlA430)c(NNW
z;<Rn1JFkU<8OvH0vQw&b<yr?v_&xddq6^nrRW#L(eXbZGY<LwU+E7l@gDIVI#z$86
zAEq~Sa>&(`cB-><H(E8!V*JY2xmc!8A}_56C*aJzZli#YEn;j-Zg?b|#c`)!ns;Jg
zF448p&Zr#WUCH=X78|YCIa<6n;!=f2OTV@4Ke5Yoc;0NT225=|WIZp_(j-URI}b`U
zA=m~K5r-D`eUdw@QK0x_=$!AYf9&QOag^UD;|vL6?9aYt?(8>{`z@peldrawGRwjL
zCaj3*NAaLbp8|jGQ)<CFG#!@Ag+7TpiTkBz_zpy==w54k$}yzdOA)}J?2D)eQAfIi
zk<j%LsdQTLlINMo-SyXuPwrdAOZ#>m*?Zi6>++31E4lBV3V(_elRe1aWw-{^hHY&j
zxVPissnuyO*gHKaW_Y^^MSJ;(jD*emnKcV(6May1U35#ICZHr*GL4!I$&H)7a=6+r
z*y(K`la8MiHB7JHv>alW!;~g#YA8z&HZm(TSgQBMTzDbULWMDf!cn(Nmu|lLMr14G
zLBfS@Ou}iWdu!9;$0b%cgVXEFVFQ2Oh<0w(ckG}8NK0H6ZLXQsRgO?OK8F+!6k36X
zLDMXcz?mWsb|6ywI+(EO*7qwV>;wG`eCwTO%aDpR<-mbZwbRjjz1}-c_c*yJFZs5?
zxbIvmGHNxt6LU1r_lnC}btCw7;soQB*_{Dc#A5<3&5jX#iEQCkj_(}fT5;~#mK}o#
z?~$1snAV2ZZNv+NIq(ft!hNJ98*B6#U{m&Gp1S2vam&z^`<S=PZ3DE;(q}w2`RL26
zJXJJ=22Odm9X>H^gQn|M^HMtyqEj2YR|)K)U_f>D2ehys2GmG--6FSZ7*!Jl>(=2*
z3*w;E01)*jX~m<j`tWA}Ag*KI49%if$}+nplR}*=ERS!M;IvcMFn5+5+jkw<cYufM
z)kHUO5Ey~ty|7WD;DN-kyal1hIWZS9Y<ynPQqhG|gFE0C(D!8;QjNpx5>5^ih?!a(
zo5IJeW?w0O2-q)&vw0mB1bHq^$9cNW_}P(U*K|T09i@4vE*CG|hDwMJ8I@|3is3`(
z$uv#r(XZ~$QdJneByy`;?@n~rbdDn_WPu>*T8r6&q2q51+bOmHlq>IcO-jDJM=Vu-
zzIUddu2hsiEfn3_PAMtz8#LTcEIX7RQH$Hyu9+IVcGihD&VAyG2G>T&BNuvKL}#Sg
z#W(<vH|hf)Rjgncp%Rx2AIT!`!!g@669Ai`ODkC(^+iH|4^5yTeo9*jFE8A(?M%*f
z`bhm5F?X5OUKeuLU!HnMM~AwsH(iblt<-C)(2E=wdB=sn4XAZKaFzR%m+er*kUpVn
zf7=$Fa3R)fe_;<HZ51ul!>5;xFbAx>Ys>zI(YOLKzozN1a5u4z+wAtddvl;FruMb5
z9Qo7m2(w6i_E84XjHzvZe1qcSbYW&WC&g2Cd9lOY1!{Uy&Zj97p8GaIt++`fjE6BK
z-x$){RX8}6SXXc3a}KQmXB$?Gtcms;+|JqQ+AwD&!c&2`EAOvoWNPrTyF!Cu-+7gr
z9ouas!v$8<v=gy#b!!F>4lGQ{Tl=}U^x~fDBegH{?--IDf$%V`>0yiHwgPseNb3rr
z>3Z;*lBAYdfyn{orGjxyQv5~R=j~q)?l~>{^#`Y@u0-#JTMTa}UoJ&5Zh1T?xsdQ~
z{hGyLE+(CeDnV*Llu{<d<%dIbNrJAJbS_SQN8Cw|H^2hhv&}1gM`27P1eQPlg+~hD
zPll@}eBci2)*)APEEBJB;GHdP#9hZY*T{G-{-8#Ep3yR~{Ok1EmJ5pTsnw@7L<nkI
zVtSi;PC+Jw1nJ$JcelzsJ1U$)E?2Z@myDEdaSu`<-TM&afYKz?S;xGeaBM%UVA>kt
zJ0~`f{I%>6{h7?-EFe;+gh-;B^P<b}Lw&H2VxeL3k)~bPc!%i-^~Em_HB6B>`u8yR
zK8YWSnTFi4n!+el(Q-}|aHWXpcYmmsD>sRK%sDV8e~L@6j4EsEE4M_lsmdp%LKFA%
zn9FaKSc4|g(Im7lGvk>@fVI(>uBsRU6VfJZ@%6ViJD5fgJ?f;8kV&V^tr$lE<<!CW
zG(g&;rvjh!34@4m=5B;sutsFfuW!bMJcih=^OzAHP^_W>Z{+9t#gzq<FGz%N5t2({
zfQ_Fz8dpE+Jivguq}`ip!+wW&VE>yDE7IIA@KQO72n%*kA1|qw-M9w&Z;rah>|mag
z&WmQV69V^O8g{HRQwEgAl_hBu5Pc~0M;5lS6A^J(ezr_^(SyFzK?g2}7W-KxRB~)H
ziPTTu-OxdWVOJNN6epG(V16hO^hqQ!U_}8<WC2QY65kJ1*pkN!Cnn*hO%H3B*HVvh
z4mdZC=GQ7-8U!c~-!mW#qB}<hZMfW*pMU9)P1~kh6>FS2X;OCjS!l~GJ^?{|yPt|3
z&k*jf|1;aVt(N=V+4)clBZLYhRqMo|m2s;ZE&m0(;3Xvx7Uw0?$OeKQ>a%TDzv3(%
z3eL<Ns}X{l_)EPMK5Y9k^6^~oN$1?n%S=Q;jG0{2gJ?~ZMXvi<$-7o#UFm#>;4*-H
z)jmr3phGM3^-1^WF6f%7*biMiLI)zzel0$(edK1|+96#JVK&EUhaK`Bq1xVK5T&t-
z>dQRt)Uoke4yIJS&A!1)&c*3Xn%MWAgZw3jsC22=0jB^|v!(V?v5GF&Md6MCRg8|#
zjQAMMJV-;^>Et{WidfvP4EjforO*cnZ0;zscJFDN{E;Ez3v60bmL(~gY^`5A#x>YA
z`FeZ+MGBs~iH+9r?Mw9`i%}LD*#yX9((CLimWB8YV}`4}ufFc|ZmLK_B&|DUOQym7
zst#c%*@Y&#Z7~Y5FlV%*zBC8WXd~A(n|WoupwYs^XRGSJjCVj=-Z?JZ5Imhsb0iAi
z#GI;R=t6fq(6k7#?CTza%ocgi>ZOt{%NFuFfS2)!{+cqeTceF7-n_hp=+&D|iB66d
zGTKl@VikdpS(D)%K9l72+<ksD_OSc(fb2+}Yo4Du<l6L=C>C_yzhPbz@^g11EFFSS
zyq1=G!VX@HHYx^vw>#6|LhAyzhT92*HR@1F4dt0qW23QT*AJ?~(ALr}>oUFPMVgnT
zjj!$Q5yL4P<z}DktoPM}c2>hY^+`91y#iJjxp&q!lDJG!UlGyZHj2~P!!_fRi2-<z
zc`i#GYh(i+Q@LMl%rA7?NXr|U!GjomXS=bOr7e-29^c(E8HJm}zX};Zeh0CuTZjW)
z8l>>Lt1}E|EUbNLEN3UE^Jf1h>lA@fT{%QKA2+(AYce*s0~1XA^b3d)vK?W7=Bx)p
zn7`<ZI1yE&W>=Wa<$~P@?Yk|EX=)umJv21#-r1+*WBI9)XH*lge~Z3@c&|*~k$I+M
zCv~4hbWX>?B{4o!>@qQTjn?74=r>j}_;tgHra?{NK%JovtIwWrAf3%3qWk3&;L%#7
zL$!zs4HKem0;4N%d$`v>sYSo{fil4414Ei4O+%Rf;+fW`>*aG?xYYOiHd#-6XB=Sb
z`&Uj(2A;~e_}S9>z0N_q`n~(T+yq29VlSP+S&FUvOoyTcgfB;!6KERXJsPp&6J=^@
z$X&6pYH4SuUbl?kUd7&-<!5o;pFp3-5V+MgPf;h2gYYuiQ(pjC#h?|+Jo+#m>!2?b
z8?8QPmLwV<&m^HeR%sKzXoA4G==Z8L-76w@eh1Yi?*0n;OtK*c{isd)SPx1KbK3**
zQiH+84Uq|Ti(>ua0Muw<3D;JGMGxu@kj}XU2gwxZ9t7n=KFjt-086X%zB$sreE|KT
zztN7uLb`DU9g*qOtId}!)kO|+3e7^kfdgU<!-Buj<gErW2!=hERnRwK4yMrQ7_JQC
zawJ0i<p`s#-XF(xW+G|_;`^qEcl%*bFX&p4H$SKrx(x9KBglu#O~udHi>Lb^E_7eG
zKCGVxdBVGZ2YBU!Uqid7cHx4w;#7%uiL;kK=A$f{2B2SNBU=}jdE<aKbn5IagSY7f
zT22U`S>ByJDzSgz0&V!N8wNcAwWy)HnF_9;l7)>&QRyxDsoX=}dC?>Qj;hLQ71*KG
z)l#F;@e`v=y=VCOc;B#D22JP7b*~zTxzf$1Iat}x_Y*lO6Kim#N-4J#q-6}e<WBK>
z{7`BoeF&c!ZsWXnM;JOZy6E5%p;ZX7RCuzUlKaE%=t0qF0tN46;!m~&y;R6_e7x_J
zl8ghJDMpdb9AHMRd<xZclweSxlgKxsKr_y|w?U0el061gTqL@#`p?L;P#}{?0NPy&
zAo5@mxR9<?v_r7Xpt#7ivOMEp3Hx<jV5qpT5gP~vT`nNoHhZ?o(I>vuv*Uw-z3-(k
z=;{2UkfIHJxgjw;JJX}kY&vm%ex!vK7J|ZH?HLyi><Tu4!P5=eM8hD_F#(4y_I3wf
zA^f#>Q^&IhY;s2d12ceZI+FU(IRfPj-*C>3L+cV9fB;{&tP>3m0WE?~o7EYIVB+)q
zblleY@jgG<g_}JuIm;S0PYtjO|4|yrCI~7vPJ&|zRFvdkMt#%scv9U*i+r*+DD!4C
z2sZ?NtrsB#{vcyxfAusFjJxkal4A|R>ti2OFzVzO1lR1${yS?f7c~HcV(?Iq2~5+J
zuN8<a6=E_Jk_!?(fCH~*Qcf3??>u`F(gw-~8WL%v>k~F;?ai9T2-t&O)vlkScR%(p
z73io-BP)sor~*3~Xt+zNtamq*9hcFK(>Njsb(a<*hU2lu54c%)fp_Hvcc15{GhS#c
zcD|^4zc__GBa}>Qh`hmx{{(}70}=ng8<~Mjz&DMzCh%Wy@SiXu0Qkm!`kzsqH04?&
zmuV4??@%de`gv<^+1~s5Y)m(OdvALIQqyz+6-@4v2=n5}lGY0@f^XZLmW)H)=*sEE
zTHrb}7S$F`x^%@*n6%rla!Gbi`IWU;vv8Zk>a_J9ud=r!g^!EVDpe!OR83+1XwR6n
z&GIfglWTC7GBbX@<t`(4hgI`x=5*nseBndOb4+QTWaAH;N!bE|8%LE+IOQoxVs1Qr
z*38C1`|KzFN4K(^)|U0D=_Y~Z@?J7m5p-G4Wn2et$q&Tj&(22Id1-~`mfuQl<gzT)
z6Om6bP7$TU!$j~TB1UrDw#_xr=A3t&HXy{q!EXXq(0ADP*mrO);eqG4E;Dkq;2B9W
zz#TW6-i$lWi<rA$4s-C?i>t#;dKr42nR9A*=kwWfMN(S$v#!=pE2~u%yqf%y?<GeT
z37lq~6*Dt%I8uFXL7wmn-Vf9$H(V!kUL9oXQw6Cdu2HtBy49ZTEq)HtQoXM`J1pAH
z(m%|mbh)}&=)csL;@&fB+t&~(fwxa5mY7Q0(O+9I1TXda0%9^aRQVqkz@L=1SG<@3
zNc&g(|6~cg0sg<k@o(_HfT6v<ovDq3wcYQC`>RMw*YXvsmzC$25)k=J$WKqm!ayj<
zM99ZV$j3w|C`8E1O32Fim$s0urKyE0fI~=7NQjme2xMYmW)k9MWc-as@Wz}owg=GD
z{iV*wXYB$|2T%cN>1Y8|3`}$YATujH07yqq2hjXYOVmNv!c?Ev%GkmXK>M47*IwW7
zm59Jf$MReAZOCtJDmwb#hrzFFBVuT3Y~t{nncsBe9Skj%04%>>|JD%sv+*|RS9IO*
zwc|GkUhZ#%g*Rry+pY3X5B+Y>QP1Hw3WI{3qv4zPev|U)+8h4Hk@%l^>y6pKZ=!4W
zr#~cg|7Zj0{@_0RBOn0aznF-ER<GnkQ!8Ttjk2i~ua&*&pMu}Up=@g4U}FF3R(c>a
zH48J4mi287{8!sQl$hw5sOjiw8JJiB|Lx(M!M`c}ZlC_u04tDz_BE1!?~sXwftr?u
zj+Xw-$xN&))N~AVK$bU32opV!nuVT`mHw^4%*;T|N=rx2@HSvN*4M_X7W3P@f8UrH
zSg2nI_q&LRmY$lHj`??GrdMT_H=}R-3ML@!t4&sxS2N77=2_`q?K1%WF@`@a{=R3V
zecLku>8P1m=~#c8JOec|6C)EHBY=^Cm73+PQ<m4U{v~AsGQK*Bf&O)H^o(@Ww2ZXO
zEWm##(9=^hv#`E7f{yt$4D^3Y{;ea{*J-{6`7JI?|59TDzIp=4^y<66+o65EYk|~2
zdODWZM>!)ME%htc<LyFv*4JKHew*XpY`j@#WCgxX<2NV$?eMp|>Gf8(R<tsGW3B>z
z%K(30@4&w=_&+%)e{p&KBm4F592Dl)weSxP%ABgZ3hF}ry8Ha`Wm@v3zx@Ve8mYAG
zduYBkyI71|Z_rSP=v)A4QBi<NyfPB(lz?TJ5P!TGQE_#O8h=q{cT!#hV~Ez#82`-d
z{4!DdZT;G`hPC;!24SxzJwOkax&7whelT5k;&^a0qkci_=tljBhYY`u=Q|{#^W2Z&
z7H#SE8#?@JJHDoxl3!6xHz%hdq(n7Qh%F^8R!cwD=N|V>`O>^R%$I8vBjyUd9F0EC
zM<MDRsXogXvKaLTj<Kxyd18)K^RtYu^<JM=pJ;d7#{||$T*Kqbf;L<#&nYP)+wldR
zAX}hUR9F=GK}6s#2UVR^s9(yg#<8=|G)y4&!1xo+*^z3G!DrQ}A>*LjehuCuF43oF
z$&ldiwB4ZA>tM05)rlS3ss`gglV+5*ssLXY`)pUJbblpn&LHX^tID#l?Li+xAna%F
zpa!>%NqfAHkuP8nD@upK+TJA*J2t#T<-$xKCpwJQ#aG0&zGm<pAU8#X6r?)&Zjh2B
zWrLPj{MqF4*V+>@+%Ij8hQ65X4Zin@l){O`BYI;kVG?QcUvQRPB!*M9a~Ny6&6e<}
zBFkb*r*X+6%j8baMJuouoX{s_tOLRVO-{Xbp}CeF*bMF3CQ7IDI5pYR3kn5=78xH~
zu0Ni*@sGu7cAhcZX#Rj1y)%5OI6Z8B@3*_s5mHMKir#7KVneDuC9gWu-ph@U5Y|G8
zd(Yef`fG!P+(CoZqE>B`#ONyqv5*gau*;1rYv+ek(IE}J&>VsRdn_Hol3^(yfvp(q
z3^jb9_V%bf!}6u3WD0>#feR<R=uRDom>#bUU)NR`oQT`0iy*HX7FN?@>c=qVu$*+t
zwj4L98|_Y4&#uRiyN~9Hiigi>DWm%JjC*Q7PSSU>h)~jK$5^RKx|+W=la&mpew^E}
z2>rgdf@~-e)<#2jKo&{q;7|A&J4#@l^*iA*_5dOrxaGvBmWWlp#>JDvYo~{d8|T6U
zTat4%Gv^=Ivn{hdvuO$uB{vcw_ig9$BoA>Wdk1I+YjT}v>PXk$uIj=ixH|JE)UTY(
z2S*sfzLNoMRwA!!7J7c}S_iCoET37eThq)@pFDn>sE4=mz}NV-l{oX{d}wh!T>|w{
zOGJdlu1mfpySkp}vAcScQ!U&*Z?Od2`S3Z5ks!0_;+JIJx9xbaQZTKk99bC#tl3j^
zwE$wi$gUt1?gQm`){yIYSKI7+^EE5$Qs%*tpro4caP=H}wGcT$yQ6O@M8k(`O>)ul
zj_pT-Uy@R5uUb|XTh9A3@m8xIn>YHdlDIn;7@BPCmq`nmhBCRDnj<onpBUOtXK-36
zO6|0Tg8}gIU$fdmc6N2(Q@llWezK&my;CC$vmZ1Z91z3|U}2UfydZ$dxhN-!LOZ)V
zmz>YZQ_+v#2((ob8xSR-x+G4f+53eNdg)fyA9mrEw<SnS8f<+qJ1ggKCSORY^r0oT
zMXKLor_;k1=fI>_iLm$@A8z>r97#(^s#JIqM)D5X)K?6#aAH1D3(+)S2+<T}tf0Lp
zH5GBb0y+VHNjlHmiG#qvlnR#azU}r$I(=DfOnDON9g>Zo53<f2=VM-0n~|q4vw7{U
zm8u<f`BztNFZ_igxZIDQ)W;if^S4gXo}wpMQ<7Bbv&^6;RA-JT+_^9AwKLPsMNIow
zN3l&b9&>N>5;)g_+1wK}358-Mv|#Qn+#rR2^xDRJ9@ERHTG5DWqOBn7FTl^?agfDI
zUr5yJ;L7pS1&7T7tsu+LA4(BGO;2bOk`qB}Bn-&Q8lX&;7xzPz^q}9i3(x>64@**i
z9PXnlrfe1}LNd=w*&)dmwTQ(kmmE?LDBn^tHNU{sjcOA99_OLLLW!FQPnwA+6-=7<
zamYBJc1!ip;(~ZH)<v`>-b1m8LMx$yq>!RT-qK|8W8klE-9=GkxP6kz7Gt9_vmb<U
z%O8FQM3`T9h>xuukAqu(Ve-6|{-M=TSL3$#`SbH`+?@E=sV;GQXM53d_LtoK>cZz9
z<C}icVdh<KN|!Uf)3{8kW@D1MEA2e>hEp#RcyzU>fdvVJoq!x2utD#4hW<QE$^Ev_
zy&%>di`HEE@5Z{ws&sgdz8y`We-`5>tj&sP7jjW_G#MZ)8If4Hhu3U6@}>ODB`V4;
z)fms|_c(=`R-p_fp#RRuQH6D{N=Vn1E~q!f61+WPo{iueglE_kF3zrlfY4%@?^KrX
zd=`lwonWeT)Ll!SMtDhjDhfMurkz3YDA309`=L)AJH9MC<qPdQHcOQB6^wpX%aOE*
zm<U<evBmeuYSufe3P+!uTvKW2R}<l@9MalywQ`edHximM-cOh@{Bqa7mN<PN?a0xu
zT4v{kHFB=!{PFF|1{KGl<#A?{u{5o?dOJn?o^HHNFnL<p-stYDjnRfVtNq3Zt9?A|
zfSu7P5qi5HO_ZfD@-CNjDg#c3Nb1*>2u}w+?Wa*~#+9K|V|e(Vvx^^YsI@rx(n_c|
zl0t`C{c@&w7}^9&8xI`4O7HFu^&Rh_InnR$s@cS|17K8xmZ-=~!qxPAJc>m-dD)RP
zueT=Vo{op8DWQbSlcg%RF+X4xEQElPVxC*+xG_}FgnYEg2mcYc>`Nr#ry&EK;=7kc
zZ1TD8kiY%GvdIgzcc2dvei3M;G(A4@9Q5F|x}WN4Woh9Ai_M(O&B1yLp>11d*Q~@m
z%*<|M>4q$Q4gQojj~HW|X+GqP)locj!@wGb4C|Gf;cXE0E>ruWxeaO<qD29MPV2IB
zd;L^<YvR0i(p&5}5y}4t^T+~H7Rj%9;+!1@mX5^PX|)P8r9-n{^?_>o<(*72pE~Cn
z<~jx&2CaTnIWDpjuo1LcXgWpsQnq8VB@803iyljjitg|`IEW_;Gdcu#))O*V;^Z4O
zflW@e?Y6@v*<D5lzI3kzYR5m6P?vSwtBP;0AYf^~sBAbTw<i{yKH7W{essBPSjCKs
zA|>&1c@|7*;cBdUne|6)yz0@Le6}Rwfrq%<)?;;styN2touXa?!kc67dT*=_lwk<#
z3dXZ^_faZ|H-xaP-1!pXh5D1&H!}_xF{?}TS;46s#}0g|Jdn=)A>G=iSF@u6n5`5L
z6obuU=@i@1Px}(S`9+l0p^YG$Dw`dI-?uBh#b$B3I10YhRKXEBAa>=871vemFURIe
zg-SQB`c41GpCR4rjodXh`?Iaab(Nk~_F~shK@`2pYiuI&M=*Odl{<;g3-3;r&Q~6D
zwnjcTo}@DyKN}KL3%4Hf!q+0=B_q|f^thQPQO=^@akAO`087=*FI(0f!dRp)$vRTz
zU66hx%o3j|>zx{cG?gfXk5}%Euy6=OuJm^J=@*0+z_sjok3KRy^3uTiMcnA_hod=k
z<~NNxJDgUM7t^!&w&L2$*4f9Uqq^PV@%B|g@Tj4qHP>ewSzh+l>z|iFieI#XYVh_y
zBQCEY?5%@nH^zeSn!@I0JTo0f_^QW<FeeT8eqt1bw4M@sNAHyE%IRx|B;380r!h*g
z#g5W<>N%B-(Nj$<7ugpeg=fw<m(mms8a$80b1eP90Z0+H)s;X4>cJ|2^P>~26$Jr6
z!Xaug)e)az?{~$Wp6po6d4d*QyLhw(A4^-z3-oypMs=;`j8{3umAP6u8zj#CG-efP
z?tQ?YHf(Gnr@Elr_HNE4a(8)y7-<q&n9+}PxjHATwh77>k#xK|X_oa-0o;7wqNqYm
zF21_Acf6Z&_fX=FNqhF5sATh%HUzD`jF&eAHCIY>^ncHN3Zbpz%Wm%*3I=W*>6puG
zLueb~qyRNTj`Q(_;yhg`JD}4_t#PAx^!Q=&*jaKch1JDv;I4&m|3@eAXwI;-b%q0)
z*GAY0J4u`NWudh3=Vywfo6jvR9{s259#US$Pb*tCb1+31d_m(QFn2H}(j-_oX{I8)
zfwZP|Y&!QSd=hfd$el?9!2->qIo&3Ra^XV!4JNaxAu;tlr3NcHXmhka-s63vBx@cc
zvHr3%!1YjNsUlmkVq}ufj>u_h_m@cXKm_%$oPp)NoKNJ9lEQ_wp^5Ss`D|LFD8`{j
zzkUV&+A^{&ESf<Sa!iv7B|@4d@BhgC%U)D2k!vKHSdwvUeu8Nf*;w>fUdFsV+&x6E
z+qPS_tQmvloaKx)ki*DBVv&Fg-!WF|`;a4+6Q(m%x*i=UTbv2>Sl`&U>}adp!z-iZ
zS}OJ}v%RtwnxmP__8wbq)#vWvimieKkG(NJ8K$1r@7Oy9C|F1u=E~EGXu5j7WFitM
z0W?j<C}B>5!fZ{Dr1pXc?;Ae5VcR$7)TWbw++yHCgdp8Nx;V#~^T&(i<_xlylY}%2
zY<OUe!h&gsi%XnMfx(H}2|mp2Fs9_F&o@)hmNj9Z1jV+TuVg5sDn#c&!Da1t9F(3F
zCzcA)-hRy|qCjIzOrHPZi4|xI@33F_0Hq^gPt-5jf5M6@QQlRC5`7mW$1U*$G%6O$
zPz!T4<1KlH;YRQnk_L~QGV#!JUl&TJ)@ZnEZ`$i{DofzVo~32^#@^asn%R7-o!WRh
zQ|vQIPd-C9(qo*7bG(rOwIe{~CQ__7S>>R*obqd(qiI>57MqZwnxFcoH1-foWbID!
ze(0Uk=;_|Y9Z>R`pfOo37z8+dG(al~UcJ1u?3jRDCbqSO%NAg-+Y^{rhTLt#Rq#X+
zxo`jehD%YUhFgDgtFZOr3*rSTF7?xynz;SBHS@&DRv~sKgQ?rR-^<#?RRz??NOumr
z4$pXqdDQVsB&!36`$JpCNSNr-ZeJRmr3G(HKrDU+V?Ua!`qQVa_Hz)<W;o;XFU+^=
zcKVEsCxaXvbIpCp+YGFCx?l=G8Ck`b1-`61c-TA)m|5auX&(0}XHpAcA`8il7kEkq
z{vGLMtUb<zbjDoECqHRPUP=%88;i@Bg@uK^j+(OP=DvDQhWe<Z)#k>gs*PN0kE26Z
z`~9cDiXzxA9zU}@KzjX4^8JJvA?7H&$?m@LxL8rI>4#vt6HSW+9(bsUetI1~(G7|7
z63%JH&bSlaxl2%B{Q9#9bGq<nn>Is(mB4M)+-+@7na2Uc?}9he#%IU4tm}Q3u$-6N
z9iqWP30K$M9eZ~#%iWvzR7oeFW)rRI*2~OBLK!)?ni7Kvp9;PNqr99Vgd35@a@oO;
zNPmObq54TRElGEtCahJc-lTxdDuPS;6+<{Orv3HngDG01*5o2%gvCd8|Lxt|pOk64
z$V(v~Dd>O2C{-kXCYsx!a>{VnR4u*MCaj!vy5L%p9Jj6grY*{j5(m%G`b{mP>ZaJ|
zn+7y%mIstHU!q=!kHU3_n-;&jHA(-DcY(BiA-X~_!gS^oh#jh7$GhD#+K%e4*g2^#
zcwd4u1=#|31E8n7>u0Dt_&8IiTz(8`b@)<b4}1zOTa*uuRf<!to{hV_vTA{9$TAoU
z1v~b%(@GtY#!eJl29>wr1RIf^7MIKZxURgAQ%vICZ1y;>EgO4D>qoR{VGh;pQV=JA
zEo=lH8GCMJkAR+p^Aid!p=l!CO>Xc@#UYdVDra7mu!X}792{!m8MV^)-hp2{JPW-a
zJn+8EZ44G~UqXwoaB{bN8TeLqqdeNxaYwA8sJ0mKbTc7BOp#&}_RwZdlc}Yba*dA6
ze9ZHedBLLD@nu=q?{G_EmFbEB2aU~wy6Jh&4i<l_pwsh8o3t;PD12#Uv3DRBH#uQ+
z>x*#c-Dd+}CLi`FFO%J}2<NRxD;-2L3l|R>Jv&;^{Ucl1{zWBx`a(u;wV9#C!N9jP
z`m^3UvNJ}$tW?Bj0^jhDBl={L@7cK5exdqfR9US=Y{-XS)FTn#@HBRc27^0~rBpsz
z3u*?y?Zu+hq>;Tq0rh+G`c;Xg`V=obHPmemh%wzj&-AdcPyF%3Yz)f#BJ;Wt3|#Qv
z1rf8Lc%M4=bbmT~gku5p-qdWeVrEGCy%z7NI+Gq}+9ND;<7J5Yc{(jFL#;FNe1&x{
zt7-+$;DSo0JMMX{OzD!s%vd>p=UxNu#PM#KUBjXk7Ki#a5_UatQ=QHtPWLELr9m-}
zs`^X-i-WpXKW37;H<!*LK3g(S36tsDWGuQ4mF{f;>=>Gf8OKnHfr$lV^+4R@;sEpP
z2NixuEME`Lck?4v6(4b-dexxjIk0uid(Ldq6F9NG**?$asMIrWeCo!>R2r!g3rvWS
zsU=9A^VbFU(idc+%rrL`Nv|qX(;J!2Qu7V!K^$1<NtYq+ofh+<O30S;4keZ?BY+i0
zOI?a3Q?Uq)1{p>VDbolPB#7VqWSB0aMo>L1Ko+yn{i({PTeLwY5WFA1VS|X$WIJsC
zgNiL=sNdt`yV1DpA{)@pvDr4DC|QW$PD$qetYmX(?f^XNJGz}+H5ILQc2u<LfvN~9
zi<FqSRb3L8Kfme*!rrVd_xz08TtjOT4%~qI)(kRZ-BlOvzQlm}lk5GG%18!+s$CU)
zK?4s76aB41qAiU?jBX9=;Zn5IdlD#G*+2!%fstt6UUFyN8qC<P(O8dY3>c_$WN}FT
zHZTw~9Uq1>7^yvL5WEp1F3h&YiwrOXu2Wkd_VI5kBs|hwsK;B|;fSR{ivT?RK-=5f
zCMg?7J_iMF!65u$Q$tx08?|mEOr1z~0Npzzx<$jP)pw=Dp{j;e8)b=Pv?DsPygitC
zQi$h%dN7beK2TD$&^pmTiV>q0smYCPEKH0FU&HrNR9vWC;TVQGX&;L~OrlA*y|1Uv
z3an@1zZ~;EcVE6(M<u;LWGF*-{s$o9?We>)kSInV@L#2Ge=iLD^Jm9@6$1XJ(zn;5
z!oP~{HDx8OdjYWRm!CaW;1xx_la%`tNUjnGd73PF@jw^wt3eVR;=g!dD5uxGzde7<
zFg)Ix<#b-7l4%<hy=n4xToXtuG@peuZeyVth7O+@IZ3eQgy%&WTB*GB)!#oMiuc_j
zB;F^kI6E^apyz^qN4A#Jeeej5+abj%|HSBzhdo6D5M1`<O&xBB-E_o23bj~sAlY55
zv5GyBK5vHbr|1;75|xJ7r!@)p>&%joYsf0I1b4fnQN~@gYq)n0=9^2(lPid}8EPW3
zz$_#vSu#rVm04!nM)5CMRF7#~sx}f{d+(0Wr#!0McbdHZ(a2NszI-Po_NvUZCa|5+
zHI?vEcnj__koHDN-WqN})Q8LK0YAdq$uYCMV<2fD1wCb7G|mC{lpR4Hpv={&tC$4&
zA7b;jsziF)ze4kh$^0h><i7-o#D!E9l=y!KiTDWxfrP9;LO#C#4kY5|2Qo18{f|JR
zR|tfPo{{#gu9X!4q-A3MzX1}xn)#oDM8B82{;R6>&qe)z022L=y!F2e68#pk-!a@j
zF`@qkBzlYSf3^Kr*wDZ9{|x~8*Qx&-NB@VA%v;z0A5`Q`^#2xj`3Lgy?{Lf8W9}bt
z%iD<li7!h3TR}A48%+OuIHdsezb(_>E24qFui5|Z=_nc1UeQAfD|Exv-?*wI5@N}N
zj^76gqsJS3(u0^#B#>1g*3-2-6NtCk-)oGw9K;(yTi}TbDH+xedVh96c{R?!g!b-g
zKArFx064ZCo*G_X2BS_KkvR6{UN`?FGd}>1p!8U3L`FmIXj|bZm8#PcR+@W}U0kw|
zq9b|1*<e~(&Ge+Ilmj+MbGQ}(!uDL4X1ze78h_Lr9WLt9!+?|=5&R{%WWt;#IYD%9
zFE!j4c&0-S%L($?MDX(8pHsiN<BuEyWc`cGK=&uc{ja-FMb6OZH+TJ!QCM03aNfU{
zkiUUg@}_Qv0J`7tV`YFk5b%oH{f<A&Sz9{*=>AoTEox<C4WRoAEB-4F>Fem+zGQ~@
zg!%Y{`1tww#GIf;>uh|erhX3vXA0Qdc}KKZ>kTH1A8k_%TK(O}fA~G(`FoKfPB0`u
zA`^3T)d%thYf$7!3jiOQ0SEef!eAXe2h9&C_MF3A@7|r~A!Po$H|!mB?HpX}UMC7<
PW_hJ{5EBbZ3qk)c?l`DQ

diff --git a/doc/dev/fig/mux.svg b/doc/dev/fig/mux.svg
index 8f272f7..2bc5cf1 100644
--- a/doc/dev/fig/mux.svg
+++ b/doc/dev/fig/mux.svg
@@ -2,9 +2,9 @@
 <!-- Created with Inkscape (http://www.inkscape.org/) -->
 
 <svg
-   width="269.875mm"
-   height="166.6875mm"
-   viewBox="0 0 269.875 166.6875"
+   width="193.14583mm"
+   height="150.8125mm"
+   viewBox="0 0 193.14583 150.8125"
    version="1.1"
    id="svg5"
    inkscape:version="1.2.2 (b0a8486541, 2022-12-01)"
@@ -23,10 +23,10 @@
      inkscape:pagecheckerboard="0"
      inkscape:deskcolor="#d1d1d1"
      inkscape:document-units="mm"
-     showgrid="false"
-     inkscape:zoom="1.069618"
-     inkscape:cx="553.00116"
-     inkscape:cy="329.08945"
+     showgrid="true"
+     inkscape:zoom="2.139236"
+     inkscape:cx="348.72263"
+     inkscape:cy="452.03054"
      inkscape:window-width="1914"
      inkscape:window-height="1025"
      inkscape:window-x="0"
@@ -39,8 +39,8 @@
        spacingx="0.26458333"
        spacingy="0.26458333"
        empspacing="10"
-       originx="-5.2916665"
-       originy="-7.9375" />
+       originx="-5.2916663"
+       originy="-23.812499" />
   </sodipodi:namedview>
   <defs
      id="defs2">
@@ -68,14 +68,23 @@
      inkscape:label="Layer 1"
      inkscape:groupmode="layer"
      id="layer1"
-     transform="translate(-5.2916665,-7.9375)">
+     transform="translate(-5.2916665,-23.8125)">
+    <rect
+       style="fill:none;stroke:none;stroke-width:0.407208;stroke-dasharray:0.814415, 0.407208"
+       id="rect1117"
+       width="193.14583"
+       height="150.8125"
+       x="5.2916665"
+       y="23.8125"
+       rx="1.4210855e-14"
+       ry="7.3638071e-15" />
     <rect
        style="fill:#4d4d4d;stroke-width:0.4;stroke-dasharray:none"
        id="rect3087"
        width="68.791656"
        height="26.458332"
-       x="195.79167"
-       y="127.00001"
+       x="127"
+       y="126.99999"
        rx="1.4210855e-14"
        ry="7.1054274e-15" />
     <rect
@@ -83,17 +92,13 @@
        id="rect2797"
        width="68.791656"
        height="26.458332"
-       x="195.79167"
+       x="127.00001"
        y="47.625"
        rx="1.4210855e-14"
        ry="7.1054274e-15" />
     <path
        style="fill:#cccccc;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1"
-       d="m 58.208333,21.166667 15.875,5.291667 V 47.625 l -15.875,5.291667 z"
-       id="path299" />
-    <path
-       style="fill:#cccccc;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1"
-       d="M 127,26.458333 142.875,31.75 V 74.083332 L 127,79.374999 Z"
+       d="m 58.208333,26.458333 15.875,5.291667 v 42.333332 l -15.875,5.291667 z"
        id="path409"
        sodipodi:nodetypes="ccccc" />
     <path
@@ -103,190 +108,153 @@
        sodipodi:nodetypes="ccc" />
     <text
        xml:space="preserve"
-       style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;stroke-width:0.264583;fill:#0000ff"
+       style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#0000ff;stroke-width:0.264583"
        x="29.095898"
        y="35.174423"
        id="text2523"><tspan
          sodipodi:role="line"
-         style="font-size:2.82222px;text-align:center;text-anchor:middle;stroke-width:0.264583;fill:#0000ff"
+         style="font-size:2.82222px;text-align:center;text-anchor:middle;fill:#0000ff;stroke-width:0.264583"
          x="29.095898"
          y="35.174423"
          id="tspan2527">nanos6.thread0.subsystem</tspan></text>
     <path
        style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
-       d="M 66.145833,68.791666 V 59.53125 50.270833"
-       id="path2581" />
-    <text
-       xml:space="preserve"
-       style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
-       x="66.183037"
-       y="72.489632"
-       id="text2593"><tspan
-         sodipodi:role="line"
-         style="font-size:2.82222px;text-align:center;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
-         x="66.183037"
-         y="72.489632"
-         id="tspan2591">thread0.state</tspan></text>
-    <text
-       xml:space="preserve"
-       style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;stroke-width:0.264583"
-       x="61.100502"
-       y="38.325821"
-       id="text2597"><tspan
-         sodipodi:role="line"
-         id="tspan2595"
-         style="stroke-width:0.264583"
-         x="61.100502"
-         y="38.325821">mux0</tspan></text>
-    <path
-       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
-       d="M 74.083333,37.041667 H 96.572917 127"
-       id="path2605"
-       sodipodi:nodetypes="ccc" />
-    <text
-       xml:space="preserve"
-       style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;stroke-width:0.264583;-inkscape-font-specification:'sans-serif Italic';font-weight:normal;font-style:italic;font-stretch:normal;font-variant:normal"
-       x="100.5334"
-       y="35.174423"
-       id="text2638"><tspan
-         sodipodi:role="line"
-         style="font-size:2.82222px;text-align:center;text-anchor:middle;stroke-width:0.264583;-inkscape-font-specification:'sans-serif Italic';font-family:sans-serif;font-weight:normal;font-style:italic;font-stretch:normal;font-variant:normal"
-         x="100.5334"
-         y="35.174423"
-         id="tspan2636">nanos6.thread0.subsystem.run</tspan></text>
-    <path
-       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
-       d="m 109.80208,42.333333 h 7.9375 H 127"
+       d="m 41.010413,42.333333 h 7.9375 9.26042"
        id="path2695"
        sodipodi:nodetypes="ccc" />
     <path
        style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
-       d="m 109.80208,47.624999 h 7.9375 H 127"
+       d="m 41.010413,47.624999 h 7.9375 9.26042"
        id="path2701"
        sodipodi:nodetypes="ccc" />
     <path
        style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
-       d="m 109.80208,52.916666 h 7.9375 H 127"
+       d="m 41.010413,52.916666 h 7.9375 9.26042"
        id="path2705"
        sodipodi:nodetypes="ccc" />
     <path
        style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
-       d="m 109.80208,58.208333 h 7.9375 H 127"
+       d="m 41.010413,58.208333 h 7.9375 9.26042"
        id="path2715"
        sodipodi:nodetypes="ccc" />
     <path
        style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
-       d="m 109.80208,63.499999 h 7.9375 H 127"
+       d="m 41.010413,63.499999 h 7.9375 9.26042"
        id="path2717"
        sodipodi:nodetypes="ccc" />
     <path
        style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
-       d="m 109.80208,68.791666 h 7.9375 H 127"
+       d="m 41.010413,68.791666 h 7.9375 9.26042"
        id="path2719"
        sodipodi:nodetypes="ccc" />
     <path
        style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
-       d="m 142.875,52.916666 h 22.48959 30.42708"
+       d="M 74.083333,52.916666 H 96.572923 127"
        id="path2725"
        sodipodi:nodetypes="ccc" />
     <text
        xml:space="preserve"
        style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
-       x="134.98779"
+       x="66.196129"
        y="90.697647"
        id="text2729"><tspan
          sodipodi:role="line"
          style="font-size:2.82222px;text-align:center;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
-         x="134.98779"
+         x="66.196129"
          y="90.697647"
-         id="tspan2727">cpu0.th_running</tspan></text>
+         id="tspan2727">cpu0.th_running</tspan><tspan
+         sodipodi:role="line"
+         style="font-size:2.82222px;text-align:center;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
+         x="66.196129"
+         y="94.225426"
+         id="tspan7725">value=0</tspan></text>
     <path
        style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
-       d="m 134.9375,87.312499 v -5.291667 l 0,-5.291666"
+       d="M 66.145833,87.312499 V 82.020832 76.729166"
        id="path2731"
        sodipodi:nodetypes="ccc" />
     <text
        xml:space="preserve"
        style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;stroke-width:0.264583"
-       x="129.93782"
-       y="54.177567"
+       x="61.100502"
+       y="72.721657"
        id="text2735"><tspan
          sodipodi:role="line"
          id="tspan2733"
          style="stroke-width:0.264583"
-         x="129.93782"
-         y="54.177567">mux1</tspan></text>
+         x="61.100502"
+         y="72.721657">mux0</tspan></text>
     <text
        xml:space="preserve"
        style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
-       x="202.06519"
+       x="133.27351"
        y="53.858898"
        id="text2801"><tspan
          sodipodi:role="line"
          id="tspan2799"
          style="fill:#ffffff;stroke-width:0.264583"
-         x="202.06519"
+         x="133.27351"
          y="53.858898">cpu0</tspan></text>
     <text
        xml:space="preserve"
        style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
-       x="202.11082"
+       x="133.31915"
        y="59.127312"
        id="text2805"><tspan
          sodipodi:role="line"
          id="tspan2803"
          style="fill:#ffffff;stroke-width:0.264583"
-         x="202.11082"
+         x="133.31915"
          y="59.127312">cpu1</tspan></text>
     <rect
        style="fill:#00ffff;stroke-width:0.4;stroke-dasharray:none"
        id="rect2807"
        width="18.520834"
        height="5.2916665"
-       x="222.25"
+       x="153.45833"
        y="50.270832"
        rx="1.4210855e-14"
        ry="7.1054274e-15" />
     <path
        style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
-       d="m 185.20833,58.208333 5.29167,0 5.29166,0"
+       d="m 116.41666,58.208333 h 5.29167 5.29166"
        id="path2967"
        sodipodi:nodetypes="ccc" />
     <path
        style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
-       d="m 185.20833,63.499999 5.29167,0 5.29166,0"
+       d="m 116.41666,63.499999 h 5.29167 5.29166"
        id="path2969"
        sodipodi:nodetypes="ccc" />
     <path
        style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
-       d="m 185.20833,68.791666 5.29167,0 5.29166,0"
+       d="m 116.41666,68.791666 h 5.29167 5.29166"
        id="path2971"
        sodipodi:nodetypes="ccc" />
     <text
        xml:space="preserve"
        style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
-       x="202.06517"
+       x="133.2735"
        y="64.44223"
        id="text2975"><tspan
          sodipodi:role="line"
          id="tspan2973"
          style="fill:#ffffff;stroke-width:0.264583"
-         x="202.06517"
+         x="133.2735"
          y="64.44223">cpu2</tspan></text>
     <text
        xml:space="preserve"
        style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
-       x="202.11081"
+       x="133.31914"
        y="69.710648"
        id="text2979"><tspan
          sodipodi:role="line"
          id="tspan2977"
          style="fill:#ffffff;stroke-width:0.264583"
-         x="202.11081"
+         x="133.31914"
          y="69.710648">cpu3</tspan></text>
     <path
        style="fill:#ffffff;stroke:#ffffff;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
-       d="M 216.95833,50.270833 V 71.437499"
+       d="M 148.16666,50.270833 V 71.437499"
        id="path3079" />
     <path
        style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
@@ -295,88 +263,88 @@
        sodipodi:nodetypes="ccc" />
     <path
        style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
-       d="m 74.083332,132.29167 h 63.499998 l 58.20834,-1e-5"
+       d="M 74.083332,132.29167 H 95.249999 127"
        id="path3085"
        sodipodi:nodetypes="ccc" />
     <text
        xml:space="preserve"
        style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
-       x="199.41937"
-       y="133.2339"
+       x="130.6277"
+       y="133.23389"
        id="text3091"><tspan
          sodipodi:role="line"
          id="tspan3089"
          style="fill:#ffffff;stroke-width:0.264583"
-         x="199.41937"
-         y="133.2339">thread0</tspan></text>
+         x="130.6277"
+         y="133.23389">thread0</tspan></text>
     <text
        xml:space="preserve"
        style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
-       x="199.46501"
-       y="138.50232"
+       x="130.67334"
+       y="138.5023"
        id="text3095"><tspan
          sodipodi:role="line"
          id="tspan3093"
          style="fill:#ffffff;stroke-width:0.264583"
-         x="199.46501"
-         y="138.50232">thread1</tspan></text>
+         x="130.67334"
+         y="138.5023">thread1</tspan></text>
     <rect
        style="fill:#00ffff;stroke-width:0.4;stroke-dasharray:none"
        id="rect3097"
        width="29.104164"
        height="5.2916698"
-       x="222.25"
-       y="129.64583"
+       x="153.45833"
+       y="129.64581"
        rx="1.4210855e-14"
        ry="7.1054274e-15" />
     <text
        xml:space="preserve"
        style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
-       x="199.41936"
-       y="143.81723"
+       x="130.62769"
+       y="143.81721"
        id="text3109"><tspan
          sodipodi:role="line"
          id="tspan3107"
          style="fill:#ffffff;stroke-width:0.264583"
-         x="199.41936"
-         y="143.81723">thread2</tspan></text>
+         x="130.62769"
+         y="143.81721">thread2</tspan></text>
     <text
        xml:space="preserve"
        style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
-       x="199.465"
-       y="149.08565"
+       x="130.67332"
+       y="149.08563"
        id="text3113"><tspan
          sodipodi:role="line"
          id="tspan3111"
          style="fill:#ffffff;stroke-width:0.264583"
-         x="199.465"
-         y="149.08565">thread3</tspan></text>
+         x="130.67332"
+         y="149.08563">thread3</tspan></text>
     <path
        style="fill:#ffffff;stroke:#ffffff;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
-       d="m 216.95833,129.64583 v 21.16666"
+       d="m 148.16666,129.64582 v 21.16666"
        id="path3115" />
     <text
        xml:space="preserve"
        style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;stroke-width:0.264583"
-       x="196.27194"
+       x="127.48028"
        y="45.757755"
        id="text3121"><tspan
          sodipodi:role="line"
          id="tspan3119"
          style="font-size:2.82222px;stroke-width:0.264583"
-         x="196.27194"
+         x="127.48028"
          y="45.757755">CPU: Nanos6 subsystem of the RUNNING thread</tspan></text>
     <text
        xml:space="preserve"
        style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;stroke-width:0.264583"
-       x="195.91916"
-       y="125.13276"
+       x="127.12749"
+       y="125.13274"
        id="text3125"><tspan
          sodipodi:role="line"
          id="tspan3123"
          style="font-size:2.82222px;stroke-width:0.264583"
-         x="195.91916"
-         y="125.13276">Thread: Nanos6 subsystem of the ACTIVE thread</tspan></text>
+         x="127.12749"
+         y="125.13274">Thread: Nanos6 subsystem of the ACTIVE thread</tspan></text>
     <path
        style="fill:#cccccc;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1"
        d="m 58.208333,116.41667 15.875,5.29167 v 21.16667 l -15.875,5.29166 z"
@@ -395,18 +363,23 @@
          style="font-size:2.82222px;text-align:center;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
          x="66.183037"
          y="167.73962"
-         id="tspan3201">thread0.state</tspan></text>
+         id="tspan3201">thread0.state</tspan><tspan
+         sodipodi:role="line"
+         style="font-size:2.82222px;text-align:center;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
+         x="66.183037"
+         y="171.2674"
+         id="tspan7727">value=Running</tspan></text>
     <text
        xml:space="preserve"
        style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;stroke-width:0.264583"
-       x="61.100502"
-       y="133.57582"
+       x="61.146149"
+       y="141.49007"
        id="text3207"><tspan
          sodipodi:role="line"
          id="tspan3205"
          style="stroke-width:0.264583"
-         x="61.100502"
-         y="133.57582">mux2</tspan></text>
+         x="61.146149"
+         y="141.49007">mux1</tspan></text>
     <text
        xml:space="preserve"
        style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:2.82222px;line-height:1.25;font-family:sans-serif;-inkscape-font-specification:'sans-serif Italic';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
@@ -428,164 +401,164 @@
        id="rect3875"
        width="68.791656"
        height="26.458332"
-       x="195.79167"
+       x="127.00001"
        y="87.3125"
        rx="1.4210855e-14"
        ry="7.1054274e-15" />
     <text
        xml:space="preserve"
        style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
-       x="199.41937"
+       x="130.6277"
        y="93.546394"
        id="text3879"><tspan
          sodipodi:role="line"
          id="tspan3877"
          style="fill:#ffffff;stroke-width:0.264583"
-         x="199.41937"
+         x="130.6277"
          y="93.546394">thread0</tspan></text>
     <text
        xml:space="preserve"
        style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
-       x="199.46501"
+       x="130.67334"
        y="98.814812"
        id="text3883"><tspan
          sodipodi:role="line"
          id="tspan3881"
          style="fill:#ffffff;stroke-width:0.264583"
-         x="199.46501"
+         x="130.67334"
          y="98.814812">thread1</tspan></text>
     <rect
        style="fill:#00d400;stroke-width:0.4;stroke-dasharray:none"
        id="rect3885"
        width="29.104164"
        height="5.2916698"
-       x="222.25"
+       x="153.45833"
        y="89.958321"
        rx="1.4210855e-14"
        ry="7.1054274e-15" />
     <text
        xml:space="preserve"
        style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
-       x="199.41936"
+       x="130.62769"
        y="104.12972"
        id="text3897"><tspan
          sodipodi:role="line"
          id="tspan3895"
          style="fill:#ffffff;stroke-width:0.264583"
-         x="199.41936"
+         x="130.62769"
          y="104.12972">thread2</tspan></text>
     <text
        xml:space="preserve"
        style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
-       x="199.465"
+       x="130.67332"
        y="109.39815"
        id="text3901"><tspan
          sodipodi:role="line"
          id="tspan3899"
          style="fill:#ffffff;stroke-width:0.264583"
-         x="199.465"
+         x="130.67332"
          y="109.39815">thread3</tspan></text>
     <path
        style="fill:#ffffff;stroke:#ffffff;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
-       d="M 216.95832,89.958318 V 111.12498"
+       d="M 148.16665,89.958318 V 111.12498"
        id="path3903" />
     <text
        xml:space="preserve"
        style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;stroke-width:0.264583"
-       x="195.91916"
+       x="127.12749"
        y="85.445251"
        id="text3909"><tspan
          sodipodi:role="line"
          id="tspan3907"
          style="font-size:2.82222px;stroke-width:0.264583"
-         x="195.91916"
+         x="127.12749"
          y="85.445251">Thread: Thread state</tspan></text>
     <rect
        style="fill:#ffcc00;stroke-width:0.4;stroke-dasharray:none"
        id="rect3911"
        width="10.583326"
        height="5.2916679"
-       x="240.77083"
+       x="171.97916"
        y="89.958336"
        rx="1.4210855e-14"
        ry="7.1054274e-15" />
     <text
        xml:space="preserve"
        style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
-       x="174.6622"
+       x="105.87054"
        y="93.656296"
        id="text4019"><tspan
          sodipodi:role="line"
          style="font-size:2.82222px;text-align:center;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
-         x="174.6622"
+         x="105.87054"
          y="93.656296"
          id="tspan4017">thread0.state</tspan></text>
     <text
        xml:space="preserve"
        style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
-       x="174.6622"
+       x="105.87054"
        y="98.947968"
        id="text4023"><tspan
          sodipodi:role="line"
          style="font-size:2.82222px;text-align:center;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
-         x="174.6622"
+         x="105.87054"
          y="98.947968"
          id="tspan4021">thread1.state</tspan></text>
     <path
        style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
-       d="M 185.20833,97.895832 H 190.5 195.79166"
+       d="m 116.41666,97.895832 h 5.29167 5.29166"
        id="path4025"
        sodipodi:nodetypes="ccc" />
     <path
        style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
-       d="M 185.20833,103.1875 H 190.5 195.79166"
+       d="m 116.41666,103.1875 h 5.29167 5.29166"
        id="path4027"
        sodipodi:nodetypes="ccc" />
     <path
        style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
-       d="M 185.20833,108.47917 H 190.5 195.79166"
+       d="m 116.41666,108.47917 h 5.29167 5.29166"
        id="path4029"
        sodipodi:nodetypes="ccc" />
     <path
        style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
-       d="M 185.20833,92.604166 H 190.5 195.79166"
+       d="m 116.41666,92.604166 h 5.29167 5.29166"
        id="path4031"
        sodipodi:nodetypes="ccc" />
     <path
        style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
-       d="M 185.20833,142.875 H 190.5 195.79166"
+       d="m 116.41666,142.87499 h 5.29167 5.29166"
        id="path4033"
        sodipodi:nodetypes="ccc" />
     <path
        style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
-       d="M 185.20833,148.16667 H 190.5 195.79166"
+       d="m 116.41666,148.16666 h 5.29167 5.29166"
        id="path4035"
        sodipodi:nodetypes="ccc" />
     <path
        style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
-       d="M 185.20833,137.58333 H 190.5 195.79166"
+       d="m 116.41666,137.58332 h 5.29167 5.29166"
        id="path4039"
        sodipodi:nodetypes="ccc" />
     <text
        xml:space="preserve"
        style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
-       x="174.6622"
+       x="105.87054"
        y="104.23963"
        id="text4043"><tspan
          sodipodi:role="line"
          style="font-size:2.82222px;text-align:center;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
-         x="174.6622"
+         x="105.87054"
          y="104.23963"
          id="tspan4041">thread2.state</tspan></text>
     <text
        xml:space="preserve"
        style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
-       x="174.6622"
+       x="105.87054"
        y="109.5313"
        id="text4047"><tspan
          sodipodi:role="line"
          style="font-size:2.82222px;text-align:center;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
-         x="174.6622"
+         x="105.87054"
          y="109.5313"
          id="tspan4045">thread3.state</tspan></text>
     <rect
@@ -593,7 +566,7 @@
        id="rect4158"
        width="5.2916636"
        height="5.2916675"
-       x="246.0625"
+       x="177.27083"
        y="50.270832"
        rx="1.4210855e-14"
        ry="7.1054274e-15" />
@@ -602,8 +575,8 @@
        id="rect4212"
        width="5.2916636"
        height="5.2916675"
-       x="246.0625"
-       y="145.52083"
+       x="177.27083"
+       y="145.52081"
        rx="1.4210855e-14"
        ry="7.1054274e-15" />
     <rect
@@ -611,24 +584,35 @@
        id="rect4214"
        width="5.2916636"
        height="5.2916656"
-       x="246.0625"
+       x="177.27083"
        y="105.83334"
        rx="1.4210855e-14"
        ry="7.1054274e-15" />
     <path
-       style="fill:#ff0000;stroke:#ff0000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:0.80000001,0.40000001;stroke-dashoffset:0;stroke-opacity:1"
-       d="M 251.35416,39.6875 V 169.33333"
-       id="path3425" />
+       style="fill:#ff0000;stroke:#ff0000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:0.8, 0.4;stroke-dashoffset:0;stroke-opacity:1"
+       d="M 153.45833,39.687501 V 174.625"
+       id="path3425"
+       sodipodi:nodetypes="cc" />
     <text
        xml:space="preserve"
-       style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;stroke-width:0.264583;-inkscape-font-specification:'sans-serif Italic';font-weight:normal;font-style:italic;font-stretch:normal;font-variant:normal"
-       x="166.67923"
+       style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:2.82222px;line-height:1.25;font-family:sans-serif;-inkscape-font-specification:'sans-serif Italic';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
+       x="97.887566"
        y="51.049423"
        id="text4270"><tspan
          sodipodi:role="line"
-         style="font-size:2.82222px;text-align:center;text-anchor:middle;stroke-width:0.264583;-inkscape-font-specification:'sans-serif Italic';font-family:sans-serif;font-weight:normal;font-style:italic;font-stretch:normal;font-variant:normal"
-         x="166.67923"
+         style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:2.82222px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Italic';text-align:center;text-anchor:middle;stroke-width:0.264583"
+         x="97.887566"
          y="51.049423"
          id="tspan4268">nanos6.cpu0.subsystem.run</tspan></text>
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:1.2, 1.2;stroke-dashoffset:0;stroke-opacity:1"
+       d="m 58.208333,37.041667 15.874999,15.875"
+       id="path388"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:1.2, 1.2;stroke-dashoffset:0;stroke-opacity:1"
+       d="m 58.208333,132.29167 h 15.875"
+       id="path1061"
+       sodipodi:nodetypes="cc" />
   </g>
 </svg>
diff --git a/doc/dev/fig/mux1.svg b/doc/dev/fig/mux1.svg
new file mode 100644
index 0000000..61fe06d
--- /dev/null
+++ b/doc/dev/fig/mux1.svg
@@ -0,0 +1,628 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+
+<svg
+   width="193.14583mm"
+   height="150.8125mm"
+   viewBox="0 0 193.14583 150.8125"
+   version="1.1"
+   id="svg5"
+   inkscape:version="1.2.2 (b0a8486541, 2022-12-01)"
+   sodipodi:docname="mux1.svg"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:svg="http://www.w3.org/2000/svg">
+  <sodipodi:namedview
+     id="namedview7"
+     pagecolor="#ffffff"
+     bordercolor="#999999"
+     borderopacity="1"
+     inkscape:showpageshadow="0"
+     inkscape:pageopacity="0"
+     inkscape:pagecheckerboard="0"
+     inkscape:deskcolor="#d1d1d1"
+     inkscape:document-units="mm"
+     showgrid="true"
+     inkscape:zoom="1.069618"
+     inkscape:cx="399.20794"
+     inkscape:cy="315.06575"
+     inkscape:window-width="1914"
+     inkscape:window-height="1025"
+     inkscape:window-x="0"
+     inkscape:window-y="24"
+     inkscape:window-maximized="1"
+     inkscape:current-layer="layer1">
+    <inkscape:grid
+       type="xygrid"
+       id="grid132"
+       spacingx="0.26458333"
+       spacingy="0.26458333"
+       empspacing="10"
+       originx="-5.2916663"
+       originy="-23.812499" />
+  </sodipodi:namedview>
+  <defs
+     id="defs2">
+    <marker
+       style="overflow:visible"
+       id="marker1653"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="Arrow1L"
+       markerWidth="8.75"
+       markerHeight="5"
+       viewBox="0 0 8.75 5"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         style="fill:context-stroke;fill-rule:evenodd;stroke:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path1651"
+         transform="scale(-0.5)" />
+    </marker>
+  </defs>
+  <g
+     inkscape:label="Layer 1"
+     inkscape:groupmode="layer"
+     id="layer1"
+     transform="translate(-5.2916665,-23.8125)">
+    <rect
+       style="fill:none;stroke:none;stroke-width:0.407208;stroke-dasharray:0.814415, 0.407208"
+       id="rect1117"
+       width="193.14583"
+       height="150.8125"
+       x="5.2916665"
+       y="23.8125"
+       rx="1.4210855e-14"
+       ry="7.3638071e-15" />
+    <rect
+       style="fill:#4d4d4d;stroke-width:0.4;stroke-dasharray:none"
+       id="rect3087"
+       width="68.791656"
+       height="26.458332"
+       x="127"
+       y="126.99999"
+       rx="1.4210855e-14"
+       ry="7.1054274e-15" />
+    <rect
+       style="fill:#4d4d4d;stroke-width:0.4;stroke-dasharray:none"
+       id="rect2797"
+       width="68.791656"
+       height="26.458332"
+       x="127.00001"
+       y="47.625"
+       rx="1.4210855e-14"
+       ry="7.1054274e-15" />
+    <path
+       style="fill:#cccccc;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1"
+       d="m 58.208333,26.458333 15.875,5.291667 v 42.333332 l -15.875,5.291667 z"
+       id="path409"
+       sodipodi:nodetypes="ccccc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="m 7.9374999,37.041666 41.0104161,10e-7 h 9.260417"
+       id="path1649"
+       sodipodi:nodetypes="ccc" />
+    <text
+       xml:space="preserve"
+       style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#0000ff;stroke-width:0.264583"
+       x="29.095898"
+       y="35.174423"
+       id="text2523"><tspan
+         sodipodi:role="line"
+         style="font-size:2.82222px;text-align:center;text-anchor:middle;fill:#0000ff;stroke-width:0.264583"
+         x="29.095898"
+         y="35.174423"
+         id="tspan2527">nanos6.thread0.subsystem</tspan></text>
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="m 41.010413,42.333333 h 7.9375 9.26042"
+       id="path2695"
+       sodipodi:nodetypes="ccc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="m 41.010413,47.624999 h 7.9375 9.26042"
+       id="path2701"
+       sodipodi:nodetypes="ccc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="m 41.010413,52.916666 h 7.9375 9.26042"
+       id="path2705"
+       sodipodi:nodetypes="ccc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="m 41.010413,58.208333 h 7.9375 9.26042"
+       id="path2715"
+       sodipodi:nodetypes="ccc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="m 41.010413,63.499999 h 7.9375 9.26042"
+       id="path2717"
+       sodipodi:nodetypes="ccc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="m 41.010413,68.791666 h 7.9375 9.26042"
+       id="path2719"
+       sodipodi:nodetypes="ccc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="M 74.083333,52.916666 H 96.572923 127"
+       id="path2725"
+       sodipodi:nodetypes="ccc" />
+    <text
+       xml:space="preserve"
+       style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
+       x="66.196129"
+       y="90.697647"
+       id="text2729"><tspan
+         sodipodi:role="line"
+         style="font-size:2.82222px;text-align:center;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
+         x="66.196129"
+         y="90.697647"
+         id="tspan2727">cpu0.th_running</tspan><tspan
+         sodipodi:role="line"
+         style="font-size:2.82222px;text-align:center;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
+         x="66.196129"
+         y="94.225426"
+         id="tspan7176">value=null</tspan></text>
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="M 66.145833,87.312499 V 82.020832 76.729166"
+       id="path2731"
+       sodipodi:nodetypes="ccc" />
+    <text
+       xml:space="preserve"
+       style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;stroke-width:0.264583"
+       x="61.100502"
+       y="72.721657"
+       id="text2735"><tspan
+         sodipodi:role="line"
+         id="tspan2733"
+         style="stroke-width:0.264583"
+         x="61.100502"
+         y="72.721657">mux0</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
+       x="133.27351"
+       y="53.858898"
+       id="text2801"><tspan
+         sodipodi:role="line"
+         id="tspan2799"
+         style="fill:#ffffff;stroke-width:0.264583"
+         x="133.27351"
+         y="53.858898">cpu0</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
+       x="133.31915"
+       y="59.127312"
+       id="text2805"><tspan
+         sodipodi:role="line"
+         id="tspan2803"
+         style="fill:#ffffff;stroke-width:0.264583"
+         x="133.31915"
+         y="59.127312">cpu1</tspan></text>
+    <rect
+       style="fill:#00ffff;stroke-width:0.4;stroke-dasharray:none"
+       id="rect2807"
+       width="18.520834"
+       height="5.2916665"
+       x="153.45833"
+       y="50.270832"
+       rx="1.4210855e-14"
+       ry="7.1054274e-15" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="m 116.41666,58.208333 h 5.29167 5.29166"
+       id="path2967"
+       sodipodi:nodetypes="ccc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="m 116.41666,63.499999 h 5.29167 5.29166"
+       id="path2969"
+       sodipodi:nodetypes="ccc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="m 116.41666,68.791666 h 5.29167 5.29166"
+       id="path2971"
+       sodipodi:nodetypes="ccc" />
+    <text
+       xml:space="preserve"
+       style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
+       x="133.2735"
+       y="64.44223"
+       id="text2975"><tspan
+         sodipodi:role="line"
+         id="tspan2973"
+         style="fill:#ffffff;stroke-width:0.264583"
+         x="133.2735"
+         y="64.44223">cpu2</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
+       x="133.31914"
+       y="69.710648"
+       id="text2979"><tspan
+         sodipodi:role="line"
+         id="tspan2977"
+         style="fill:#ffffff;stroke-width:0.264583"
+         x="133.31914"
+         y="69.710648">cpu3</tspan></text>
+    <path
+       style="fill:#ffffff;stroke:#ffffff;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="M 148.16666,50.270833 V 71.437499"
+       id="path3079" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="m 31.75,37.041666 v 47.625 47.625004"
+       id="path3083"
+       sodipodi:nodetypes="ccc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="M 74.083332,132.29167 H 95.249999 127"
+       id="path3085"
+       sodipodi:nodetypes="ccc" />
+    <text
+       xml:space="preserve"
+       style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
+       x="130.6277"
+       y="133.23389"
+       id="text3091"><tspan
+         sodipodi:role="line"
+         id="tspan3089"
+         style="fill:#ffffff;stroke-width:0.264583"
+         x="130.6277"
+         y="133.23389">thread0</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
+       x="130.67334"
+       y="138.5023"
+       id="text3095"><tspan
+         sodipodi:role="line"
+         id="tspan3093"
+         style="fill:#ffffff;stroke-width:0.264583"
+         x="130.67334"
+         y="138.5023">thread1</tspan></text>
+    <rect
+       style="fill:#00ffff;stroke-width:0.4;stroke-dasharray:none"
+       id="rect3097"
+       width="29.104164"
+       height="5.2916698"
+       x="153.45833"
+       y="129.64581"
+       rx="1.4210855e-14"
+       ry="7.1054274e-15" />
+    <text
+       xml:space="preserve"
+       style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
+       x="130.62769"
+       y="143.81721"
+       id="text3109"><tspan
+         sodipodi:role="line"
+         id="tspan3107"
+         style="fill:#ffffff;stroke-width:0.264583"
+         x="130.62769"
+         y="143.81721">thread2</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
+       x="130.67332"
+       y="149.08563"
+       id="text3113"><tspan
+         sodipodi:role="line"
+         id="tspan3111"
+         style="fill:#ffffff;stroke-width:0.264583"
+         x="130.67332"
+         y="149.08563">thread3</tspan></text>
+    <path
+       style="fill:#ffffff;stroke:#ffffff;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 148.16666,129.64582 v 21.16666"
+       id="path3115" />
+    <text
+       xml:space="preserve"
+       style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;stroke-width:0.264583"
+       x="127.48028"
+       y="45.757755"
+       id="text3121"><tspan
+         sodipodi:role="line"
+         id="tspan3119"
+         style="font-size:2.82222px;stroke-width:0.264583"
+         x="127.48028"
+         y="45.757755">CPU: Nanos6 subsystem of the RUNNING thread</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;stroke-width:0.264583"
+       x="127.12749"
+       y="125.13274"
+       id="text3125"><tspan
+         sodipodi:role="line"
+         id="tspan3123"
+         style="font-size:2.82222px;stroke-width:0.264583"
+         x="127.12749"
+         y="125.13274">Thread: Nanos6 subsystem of the ACTIVE thread</tspan></text>
+    <path
+       style="fill:#cccccc;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1"
+       d="m 58.208333,116.41667 15.875,5.29167 v 21.16667 l -15.875,5.29166 z"
+       id="path3197" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="m 66.145833,164.04167 v -9.26041 -9.26042"
+       id="path3199" />
+    <text
+       xml:space="preserve"
+       style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
+       x="66.183037"
+       y="167.73962"
+       id="text3203"><tspan
+         sodipodi:role="line"
+         style="font-size:2.82222px;text-align:center;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
+         x="66.183037"
+         y="167.73962"
+         id="tspan3201">thread0.state</tspan><tspan
+         sodipodi:role="line"
+         style="font-size:2.82222px;text-align:center;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
+         x="66.183037"
+         y="171.2674"
+         id="tspan7178">value=Cooling</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;stroke-width:0.264583"
+       x="61.146149"
+       y="141.49007"
+       id="text3207"><tspan
+         sodipodi:role="line"
+         id="tspan3205"
+         style="stroke-width:0.264583"
+         x="61.146149"
+         y="141.49007">mux1</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:2.82222px;line-height:1.25;font-family:sans-serif;-inkscape-font-specification:'sans-serif Italic';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
+       x="100.44865"
+       y="130.42442"
+       id="text3211"><tspan
+         sodipodi:role="line"
+         style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:2.82222px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Italic';text-align:center;text-anchor:middle;stroke-width:0.264583"
+         x="100.44865"
+         y="130.42442"
+         id="tspan3209">nanos6.thread0.subsystem.act</tspan></text>
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="M 31.75,132.29167 H 47.624999 58.208333"
+       id="path3213"
+       sodipodi:nodetypes="ccc" />
+    <rect
+       style="fill:#4d4d4d;stroke-width:0.4;stroke-dasharray:none"
+       id="rect3875"
+       width="68.791656"
+       height="26.458332"
+       x="127.00001"
+       y="87.3125"
+       rx="1.4210855e-14"
+       ry="7.1054274e-15" />
+    <text
+       xml:space="preserve"
+       style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
+       x="130.6277"
+       y="93.546394"
+       id="text3879"><tspan
+         sodipodi:role="line"
+         id="tspan3877"
+         style="fill:#ffffff;stroke-width:0.264583"
+         x="130.6277"
+         y="93.546394">thread0</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
+       x="130.67334"
+       y="98.814812"
+       id="text3883"><tspan
+         sodipodi:role="line"
+         id="tspan3881"
+         style="fill:#ffffff;stroke-width:0.264583"
+         x="130.67334"
+         y="98.814812">thread1</tspan></text>
+    <rect
+       style="fill:#00d400;stroke-width:0.4;stroke-dasharray:none"
+       id="rect3885"
+       width="29.104164"
+       height="5.2916698"
+       x="153.45833"
+       y="89.958321"
+       rx="1.4210855e-14"
+       ry="7.1054274e-15" />
+    <text
+       xml:space="preserve"
+       style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
+       x="130.62769"
+       y="104.12972"
+       id="text3897"><tspan
+         sodipodi:role="line"
+         id="tspan3895"
+         style="fill:#ffffff;stroke-width:0.264583"
+         x="130.62769"
+         y="104.12972">thread2</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:3.52777px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ffffff;stroke-width:0.264583"
+       x="130.67332"
+       y="109.39815"
+       id="text3901"><tspan
+         sodipodi:role="line"
+         id="tspan3899"
+         style="fill:#ffffff;stroke-width:0.264583"
+         x="130.67332"
+         y="109.39815">thread3</tspan></text>
+    <path
+       style="fill:#ffffff;stroke:#ffffff;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="M 148.16665,89.958318 V 111.12498"
+       id="path3903" />
+    <text
+       xml:space="preserve"
+       style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;stroke-width:0.264583"
+       x="127.12749"
+       y="85.445251"
+       id="text3909"><tspan
+         sodipodi:role="line"
+         id="tspan3907"
+         style="font-size:2.82222px;stroke-width:0.264583"
+         x="127.12749"
+         y="85.445251">Thread: Thread state</tspan></text>
+    <rect
+       style="fill:#ffcc00;stroke-width:0.4;stroke-dasharray:none"
+       id="rect3911"
+       width="10.583326"
+       height="5.2916679"
+       x="171.97916"
+       y="89.958336"
+       rx="1.4210855e-14"
+       ry="7.1054274e-15" />
+    <text
+       xml:space="preserve"
+       style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
+       x="105.87054"
+       y="93.656296"
+       id="text4019"><tspan
+         sodipodi:role="line"
+         style="font-size:2.82222px;text-align:center;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
+         x="105.87054"
+         y="93.656296"
+         id="tspan4017">thread0.state</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
+       x="105.87054"
+       y="98.947968"
+       id="text4023"><tspan
+         sodipodi:role="line"
+         style="font-size:2.82222px;text-align:center;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
+         x="105.87054"
+         y="98.947968"
+         id="tspan4021">thread1.state</tspan></text>
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="m 116.41666,97.895832 h 5.29167 5.29166"
+       id="path4025"
+       sodipodi:nodetypes="ccc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="m 116.41666,103.1875 h 5.29167 5.29166"
+       id="path4027"
+       sodipodi:nodetypes="ccc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="m 116.41666,108.47917 h 5.29167 5.29166"
+       id="path4029"
+       sodipodi:nodetypes="ccc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="m 116.41666,92.604166 h 5.29167 5.29166"
+       id="path4031"
+       sodipodi:nodetypes="ccc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="m 116.41666,142.87499 h 5.29167 5.29166"
+       id="path4033"
+       sodipodi:nodetypes="ccc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="m 116.41666,148.16666 h 5.29167 5.29166"
+       id="path4035"
+       sodipodi:nodetypes="ccc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="m 116.41666,137.58332 h 5.29167 5.29166"
+       id="path4039"
+       sodipodi:nodetypes="ccc" />
+    <text
+       xml:space="preserve"
+       style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
+       x="105.87054"
+       y="104.23963"
+       id="text4043"><tspan
+         sodipodi:role="line"
+         style="font-size:2.82222px;text-align:center;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
+         x="105.87054"
+         y="104.23963"
+         id="tspan4041">thread2.state</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:2.82222px;line-height:1.25;font-family:sans-serif;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
+       x="105.87054"
+       y="109.5313"
+       id="text4047"><tspan
+         sodipodi:role="line"
+         style="font-size:2.82222px;text-align:center;text-anchor:middle;fill:#aa0000;stroke-width:0.264583"
+         x="105.87054"
+         y="109.5313"
+         id="tspan4045">thread3.state</tspan></text>
+    <rect
+       style="fill:#d40000;stroke-width:0.4;stroke-dasharray:none"
+       id="rect4158"
+       width="5.2916636"
+       height="5.2916675"
+       x="177.27083"
+       y="50.270832"
+       rx="1.4210855e-14"
+       ry="7.1054274e-15" />
+    <rect
+       style="fill:#d40000;stroke-width:0.4;stroke-dasharray:none"
+       id="rect4212"
+       width="5.2916636"
+       height="5.2916675"
+       x="177.27083"
+       y="145.52081"
+       rx="1.4210855e-14"
+       ry="7.1054274e-15" />
+    <rect
+       style="fill:#00d400;stroke-width:0.4;stroke-dasharray:none"
+       id="rect4214"
+       width="5.2916636"
+       height="5.2916656"
+       x="177.27083"
+       y="105.83334"
+       rx="1.4210855e-14"
+       ry="7.1054274e-15" />
+    <path
+       style="fill:#ff0000;stroke:#ff0000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:0.8, 0.4;stroke-dashoffset:0;stroke-opacity:1"
+       d="M 171.97916,39.687501 V 174.625"
+       id="path3425"
+       sodipodi:nodetypes="cc" />
+    <text
+       xml:space="preserve"
+       style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:2.82222px;line-height:1.25;font-family:sans-serif;-inkscape-font-specification:'sans-serif Italic';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
+       x="97.887566"
+       y="51.049423"
+       id="text4270"><tspan
+         sodipodi:role="line"
+         style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:2.82222px;font-family:sans-serif;-inkscape-font-specification:'sans-serif Italic';text-align:center;text-anchor:middle;stroke-width:0.264583"
+         x="97.887566"
+         y="51.049423"
+         id="tspan4268">nanos6.cpu0.subsystem.run</tspan></text>
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:1.2, 1.2;stroke-dashoffset:0;stroke-opacity:1"
+       d="m 66.145833,52.916667 h 7.937499"
+       id="path388"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:1.2, 1.2;stroke-dashoffset:0;stroke-opacity:1"
+       d="m 58.208333,132.29167 h 15.875"
+       id="path1061"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="M 64.822916,54.239584 67.468749,51.59375"
+       id="path6325"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:0.4;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-mid:url(#marker1653)"
+       d="M 67.46875,54.239584 64.822915,51.593751"
+       id="path6327"
+       sodipodi:nodetypes="cc" />
+  </g>
+</svg>
diff --git a/doc/dev/mux.md b/doc/dev/mux.md
index 28847f8..63b226c 100644
--- a/doc/dev/mux.md
+++ b/doc/dev/mux.md
@@ -18,30 +18,38 @@ selected. This allows a multiplexer to act as a filter too.
 ## Tracking
 
 The typical use of multiplexers is to implement the tracking modes of channels.
-As an example, the following diagram shows three multiplexers used to implement
+As an example, the following diagram shows two multiplexers used to implement
 the subsystem view of [Nanos6](../nanos6):
 
-![Patch bay](fig/mux.svg)
+![Mux example](fig/mux.svg)
 
-The first mux0 uses the thread state channel to filter the value of the
-subsystem channel and only pass it to the output when the thread is in the
-Running state (green). Then the filtered subsystem channel is connected to an
-input of a second mux (mux1) which selects the current input of the thread
-running in the CPU0. The output *nanos6.cpu.subsystem.run* is then connected to
-the Paraver timeline in the row corresponding to the CPU0, which shows the
-subsystem of the currently running thread.
+The first mux0 selects the input corresponding to the thread running in that
+CPU (thread0), and forwards the value to the output. If no thread is running the
+output is set to null. The output channel *nanos6.cpu0.subsystem.run* is then
+connected to the Paraver timeline in the row corresponding to the CPU0, which
+shows the subsystem of the currently **running** thread.
 
-The Nanos6 subsystem channel is also connected to the mux2, which forwards the
-value to the output only when the thread state is Active. The output is directly
-connected to the Paraver row assigned to that thread. This channels shows the
-subsystem of the thread by only when is active (not paused nor dead). You can
-see that the subsystem is shown in the thread0 at the current time (red dotted
-line) when in the CPU0 the subsystem has been hidden when the thread stops being
-in the Running state (yellow). 
+The Nanos6 subsystem channel is also connected to the second mux1, which forwards the
+value to the output only when the thread state is **Active** (not paused or
+dead). The output is directly connected to the Paraver row assigned to that
+thread. This view shows the subsystem of the thread when is active.
+
+![Mux example](fig/mux1.svg)
+
+Notice that when the thread0 is no longer Running (switches to the Cooling
+state shown in yellow) the CPU subsystem timeline no longer shows the subsystem,
+as the mux0 is not selecting any input (because there are no threads in the CPU0
+in the Running state at that moment).
+
+However, the thread view still shows the subsystem, as the thread0 is still 
+active (not paused yet). The mux1 is still selecting the thread subsystem
+channel as input.
+
+## Separation of concerns
 
 Multiplexers allow models to interact with each other in a controlled way. In
 the example, the blue channel (*nanos6.thread0.subsystem*) is directly modified by
 the Nanos6 model when a new event is received. While the red channels are
-controled by the ovni model.  The rest of the channels are automatically updated
+controlled by the ovni model.  The rest of the channels are automatically updated
 in the propagation phase of the [bay](../patchbay) allowing the ovni model to
 modify the Nanos6 Paraver view of the subsystems.