Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /smlnj-lib/branches/rt-transition/PP/tests/out
ViewVC logotype

Diff of /smlnj-lib/branches/rt-transition/PP/tests/out

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 4069, Tue Jun 9 20:52:48 2015 UTC revision 4070, Thu Jun 11 12:33:25 2015 UTC
# Line 4526  Line 4526 
4526    scanStk = [    scanStk = [
4527      (-1, {tok=TEXT "", sz=-1, len=0})]      (-1, {tok=TEXT "", sz=-1, len=0})]
4528  END  END
4529    *** openHBox: BEGIN
4530      width     =  20
4531      curIndent =   0, curDepth =   1
4532      leftTot   =   1, rightTot =   1
4533      spaceLeft =  20
4534      queue = [
4535        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}]
4536      fmtStk = []
4537      scanStk = [
4538        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
4539        (-1, {tok=TEXT "", sz=-1, len=0})]
4540    END
4541    *** string: BEGIN
4542      width     =  20
4543      curIndent =   0, curDepth =   2
4544      leftTot   =   1, rightTot =   1
4545      spaceLeft =  20
4546      queue = [
4547        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
4548        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}]
4549      fmtStk = []
4550      scanStk = [
4551        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
4552        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
4553        (-1, {tok=TEXT "", sz=-1, len=0})]
4554    END
4555    *** space: BEGIN
4556      width     =  20
4557      curIndent =   0, curDepth =   2
4558      leftTot   =   1, rightTot =   3
4559      spaceLeft =  20
4560      queue = [
4561        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
4562        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
4563        {tok=TEXT "if", sz=2, len=2}]
4564      fmtStk = []
4565      scanStk = [
4566        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
4567        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
4568        (-1, {tok=TEXT "", sz=-1, len=0})]
4569    END
4570    *** string: BEGIN
4571      width     =  20
4572      curIndent =   0, curDepth =   2
4573      leftTot   =   1, rightTot =   4
4574      spaceLeft =  20
4575      queue = [
4576        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
4577        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
4578        {tok=TEXT "if", sz=2, len=2}
4579        {tok=BREAK{nsp=1, offset=0}, sz=-3, len=1}]
4580      fmtStk = []
4581      scanStk = [
4582        (4, {tok=BREAK{nsp=1, offset=0}, sz=-3, len=1})
4583        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
4584        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
4585        (-1, {tok=TEXT "", sz=-1, len=0})]
4586    END
4587    *** space: BEGIN
4588      width     =  20
4589      curIndent =   0, curDepth =   2
4590      leftTot   =   1, rightTot =  11
4591      spaceLeft =  20
4592      queue = [
4593        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
4594        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
4595        {tok=TEXT "if", sz=2, len=2}
4596        {tok=BREAK{nsp=1, offset=0}, sz=-3, len=1}
4597        {tok=TEXT "(x < y)", sz=7, len=7}]
4598      fmtStk = []
4599      scanStk = [
4600        (4, {tok=BREAK{nsp=1, offset=0}, sz=-3, len=1})
4601        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
4602        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
4603        (-1, {tok=TEXT "", sz=-1, len=0})]
4604    END
4605    *** string: BEGIN
4606      width     =  20
4607      curIndent =   0, curDepth =   2
4608      leftTot   =   1, rightTot =  12
4609      spaceLeft =  20
4610      queue = [
4611        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
4612        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
4613        {tok=TEXT "if", sz=2, len=2}
4614        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
4615        {tok=TEXT "(x < y)", sz=7, len=7}
4616        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}]
4617      fmtStk = []
4618      scanStk = [
4619        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
4620        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
4621        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
4622        (-1, {tok=TEXT "", sz=-1, len=0})]
4623    END
4624    *** openHVBox: BEGIN
4625      width     =  20
4626      curIndent =   0, curDepth =   2
4627      leftTot   =   1, rightTot =  13
4628      spaceLeft =  20
4629      queue = [
4630        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
4631        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
4632        {tok=TEXT "if", sz=2, len=2}
4633        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
4634        {tok=TEXT "(x < y)", sz=7, len=7}
4635        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
4636        {tok=TEXT "{", sz=1, len=1}]
4637      fmtStk = []
4638      scanStk = [
4639        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
4640        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
4641        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
4642        (-1, {tok=TEXT "", sz=-1, len=0})]
4643    END
4644    *** space: BEGIN
4645      width     =  20
4646      curIndent =   0, curDepth =   3
4647      leftTot   =   1, rightTot =  13
4648      spaceLeft =  20
4649      queue = [
4650        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
4651        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
4652        {tok=TEXT "if", sz=2, len=2}
4653        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
4654        {tok=TEXT "(x < y)", sz=7, len=7}
4655        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
4656        {tok=TEXT "{", sz=1, len=1}
4657        {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0}]
4658      fmtStk = []
4659      scanStk = [
4660        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
4661        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
4662        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
4663        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
4664        (-1, {tok=TEXT "", sz=-1, len=0})]
4665    END
4666    *** string: BEGIN
4667      width     =  20
4668      curIndent =   0, curDepth =   3
4669      leftTot   =   1, rightTot =  14
4670      spaceLeft =  20
4671      queue = [
4672        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
4673        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
4674        {tok=TEXT "if", sz=2, len=2}
4675        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
4676        {tok=TEXT "(x < y)", sz=7, len=7}
4677        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
4678        {tok=TEXT "{", sz=1, len=1}
4679        {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0}
4680        {tok=BREAK{nsp=1, offset=0}, sz=-13, len=1}]
4681      fmtStk = []
4682      scanStk = [
4683        (14, {tok=BREAK{nsp=1, offset=0}, sz=-13, len=1})
4684        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
4685        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
4686        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
4687        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
4688        (-1, {tok=TEXT "", sz=-1, len=0})]
4689    END
4690    *** space: BEGIN
4691      width     =  20
4692      curIndent =   0, curDepth =   3
4693      leftTot   =   1, rightTot =  20
4694      spaceLeft =  20
4695      queue = [
4696        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
4697        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
4698        {tok=TEXT "if", sz=2, len=2}
4699        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
4700        {tok=TEXT "(x < y)", sz=7, len=7}
4701        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
4702        {tok=TEXT "{", sz=1, len=1}
4703        {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0}
4704        {tok=BREAK{nsp=1, offset=0}, sz=-13, len=1}
4705        {tok=TEXT "stmt1;", sz=6, len=6}]
4706      fmtStk = []
4707      scanStk = [
4708        (14, {tok=BREAK{nsp=1, offset=0}, sz=-13, len=1})
4709        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
4710        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
4711        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
4712        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
4713        (-1, {tok=TEXT "", sz=-1, len=0})]
4714    END
4715    *** openHBox: BEGIN
4716      width     =  20
4717      curIndent =   0, curDepth =   3
4718      leftTot   =   1, rightTot =  21
4719      spaceLeft =  20
4720      queue = [
4721        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
4722        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
4723        {tok=TEXT "if", sz=2, len=2}
4724        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
4725        {tok=TEXT "(x < y)", sz=7, len=7}
4726        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
4727        {tok=TEXT "{", sz=1, len=1}
4728        {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0}
4729        {tok=BREAK{nsp=1, offset=0}, sz=8, len=1}
4730        {tok=TEXT "stmt1;", sz=6, len=6}
4731        {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1}]
4732      fmtStk = []
4733      scanStk = [
4734        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
4735        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
4736        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
4737        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
4738        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
4739        (-1, {tok=TEXT "", sz=-1, len=0})]
4740    END
4741    *** string: BEGIN
4742      width     =  20
4743      curIndent =   0, curDepth =   4
4744      leftTot   =   1, rightTot =  21
4745      spaceLeft =  20
4746      queue = [
4747        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
4748        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
4749        {tok=TEXT "if", sz=2, len=2}
4750        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
4751        {tok=TEXT "(x < y)", sz=7, len=7}
4752        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
4753        {tok=TEXT "{", sz=1, len=1}
4754        {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0}
4755        {tok=BREAK{nsp=1, offset=0}, sz=8, len=1}
4756        {tok=TEXT "stmt1;", sz=6, len=6}
4757        {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1}
4758        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}]
4759      fmtStk = []
4760      scanStk = [
4761        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
4762        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
4763        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
4764        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
4765        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
4766        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
4767        (-1, {tok=TEXT "", sz=-1, len=0})]
4768    END
4769    *** space: BEGIN
4770      width     =  20
4771      curIndent =   4, curDepth =   4
4772      leftTot   =  20, rightTot =  23
4773      spaceLeft =  10
4774      queue = [
4775        {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1}
4776        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
4777        {tok=TEXT "if", sz=2, len=2}]
4778      fmtStk = [
4779        (HVBOX, 16)
4780        (HBOX, 20)
4781        (HOVBOX, 20)]
4782      scanStk = [
4783        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
4784        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
4785        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
4786        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
4787        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
4788        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
4789        (-1, {tok=TEXT "", sz=-1, len=0})]
4790    END
4791    *** string: BEGIN
4792      width     =  20
4793      curIndent =   4, curDepth =   4
4794      leftTot   =  20, rightTot =  24
4795      spaceLeft =  10
4796      queue = [
4797        {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1}
4798        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
4799        {tok=TEXT "if", sz=2, len=2}
4800        {tok=BREAK{nsp=1, offset=0}, sz=-23, len=1}]
4801      fmtStk = [
4802        (HVBOX, 16)
4803        (HBOX, 20)
4804        (HOVBOX, 20)]
4805      scanStk = [
4806        (24, {tok=BREAK{nsp=1, offset=0}, sz=-23, len=1})
4807        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
4808        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
4809        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
4810        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
4811        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
4812        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
4813        (-1, {tok=TEXT "", sz=-1, len=0})]
4814    END
4815    *** space: BEGIN
4816      width     =  20
4817      curIndent =   4, curDepth =   4
4818      leftTot   =  21, rightTot =  31
4819      spaceLeft =  16
4820      queue = [
4821        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
4822        {tok=TEXT "if", sz=2, len=2}
4823        {tok=BREAK{nsp=1, offset=0}, sz=-23, len=1}
4824        {tok=TEXT "(w < z)", sz=7, len=7}]
4825      fmtStk = [
4826        (HVBOX, 16)
4827        (HBOX, 20)
4828        (HOVBOX, 20)]
4829      scanStk = [
4830        (24, {tok=BREAK{nsp=1, offset=0}, sz=-23, len=1})
4831        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
4832        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
4833        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
4834        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
4835        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
4836        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
4837        (-1, {tok=TEXT "", sz=-1, len=0})]
4838    END
4839    *** string: BEGIN
4840      width     =  20
4841      curIndent =   4, curDepth =   4
4842      leftTot   =  21, rightTot =  32
4843      spaceLeft =  16
4844      queue = [
4845        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
4846        {tok=TEXT "if", sz=2, len=2}
4847        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
4848        {tok=TEXT "(w < z)", sz=7, len=7}
4849        {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1}]
4850      fmtStk = [
4851        (HVBOX, 16)
4852        (HBOX, 20)
4853        (HOVBOX, 20)]
4854      scanStk = [
4855        (32, {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1})
4856        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
4857        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
4858        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
4859        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
4860        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
4861        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
4862        (-1, {tok=TEXT "", sz=-1, len=0})]
4863    END
4864    *** openHVBox: BEGIN
4865      width     =  20
4866      curIndent =   4, curDepth =   4
4867      leftTot   =  21, rightTot =  33
4868      spaceLeft =  16
4869      queue = [
4870        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
4871        {tok=TEXT "if", sz=2, len=2}
4872        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
4873        {tok=TEXT "(w < z)", sz=7, len=7}
4874        {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1}
4875        {tok=TEXT "{", sz=1, len=1}]
4876      fmtStk = [
4877        (HVBOX, 16)
4878        (HBOX, 20)
4879        (HOVBOX, 20)]
4880      scanStk = [
4881        (32, {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1})
4882        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
4883        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
4884        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
4885        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
4886        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
4887        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
4888        (-1, {tok=TEXT "", sz=-1, len=0})]
4889    END
4890    *** space: BEGIN
4891      width     =  20
4892      curIndent =   4, curDepth =   5
4893      leftTot   =  21, rightTot =  33
4894      spaceLeft =  16
4895      queue = [
4896        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
4897        {tok=TEXT "if", sz=2, len=2}
4898        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
4899        {tok=TEXT "(w < z)", sz=7, len=7}
4900        {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1}
4901        {tok=TEXT "{", sz=1, len=1}
4902        {tok=BEGIN(Abs 4, HVBOX), sz=-33, len=0}]
4903      fmtStk = [
4904        (HVBOX, 16)
4905        (HBOX, 20)
4906        (HOVBOX, 20)]
4907      scanStk = [
4908        (33, {tok=BEGIN(Abs 4, HVBOX), sz=-33, len=0})
4909        (32, {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1})
4910        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
4911        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
4912        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
4913        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
4914        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
4915        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
4916        (-1, {tok=TEXT "", sz=-1, len=0})]
4917    END
4918    *** string: BEGIN
4919      width     =  20
4920      curIndent =   4, curDepth =   5
4921      leftTot   =  21, rightTot =  34
4922      spaceLeft =  16
4923      queue = [
4924        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
4925        {tok=TEXT "if", sz=2, len=2}
4926        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
4927        {tok=TEXT "(w < z)", sz=7, len=7}
4928        {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1}
4929        {tok=TEXT "{", sz=1, len=1}
4930        {tok=BEGIN(Abs 4, HVBOX), sz=-33, len=0}
4931        {tok=BREAK{nsp=1, offset=0}, sz=-33, len=1}]
4932      fmtStk = [
4933        (HVBOX, 16)
4934        (HBOX, 20)
4935        (HOVBOX, 20)]
4936      scanStk = [
4937        (34, {tok=BREAK{nsp=1, offset=0}, sz=-33, len=1})
4938        (33, {tok=BEGIN(Abs 4, HVBOX), sz=-33, len=0})
4939        (32, {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1})
4940        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
4941        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
4942        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
4943        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
4944        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
4945        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
4946        (-1, {tok=TEXT "", sz=-1, len=0})]
4947    END
4948    *** space: BEGIN
4949      width     =  20
4950      curIndent =   8, curDepth =   5
4951      leftTot   =  40, rightTot =  40
4952      spaceLeft =   6
4953      queue = []
4954      fmtStk = [
4955        (HVBOX, 12)
4956        (HBOX, 16)
4957        (HVBOX, 16)
4958        (HBOX, 20)
4959        (HOVBOX, 20)]
4960      scanStk = [
4961        (34, {tok=BREAK{nsp=1, offset=0}, sz=-33, len=1})
4962        (33, {tok=BEGIN(Abs 4, HVBOX), sz=-33, len=0})
4963        (32, {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1})
4964        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
4965        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
4966        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
4967        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
4968        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
4969        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
4970        (-1, {tok=TEXT "", sz=-1, len=0})]
4971    END
4972    *** string: BEGIN
4973      width     =  20
4974      curIndent =   8, curDepth =   5
4975      leftTot   =  40, rightTot =  41
4976      spaceLeft =   6
4977      queue = [
4978        {tok=BREAK{nsp=1, offset=0}, sz=-40, len=1}]
4979      fmtStk = [
4980        (HVBOX, 12)
4981        (HBOX, 16)
4982        (HVBOX, 16)
4983        (HBOX, 20)
4984        (HOVBOX, 20)]
4985      scanStk = [
4986        (41, {tok=BREAK{nsp=1, offset=0}, sz=-40, len=1})
4987        (-1, {tok=TEXT "", sz=-1, len=0})]
4988    END
4989    *** space: BEGIN
4990      width     =  20
4991      curIndent =   8, curDepth =   5
4992      leftTot   =  47, rightTot =  47
4993      spaceLeft =   6
4994      queue = []
4995      fmtStk = [
4996        (HVBOX, 12)
4997        (HBOX, 16)
4998        (HVBOX, 16)
4999        (HBOX, 20)
5000        (HOVBOX, 20)]
5001      scanStk = [
5002        (41, {tok=BREAK{nsp=1, offset=0}, sz=-40, len=1})
5003        (-1, {tok=TEXT "", sz=-1, len=0})]
5004    END
5005    *** string: BEGIN
5006      width     =  20
5007      curIndent =   8, curDepth =   5
5008      leftTot   =  47, rightTot =  48
5009      spaceLeft =   6
5010      queue = [
5011        {tok=BREAK{nsp=1, offset=0}, sz=-47, len=1}]
5012      fmtStk = [
5013        (HVBOX, 12)
5014        (HBOX, 16)
5015        (HVBOX, 16)
5016        (HBOX, 20)
5017        (HOVBOX, 20)]
5018      scanStk = [
5019        (48, {tok=BREAK{nsp=1, offset=0}, sz=-47, len=1})
5020        (-1, {tok=TEXT "", sz=-1, len=0})]
5021    END
5022    *** closeBox: BEGIN
5023      width     =  20
5024      curIndent =   8, curDepth =   5
5025      leftTot   =  54, rightTot =  54
5026      spaceLeft =   6
5027      queue = []
5028      fmtStk = [
5029        (HVBOX, 12)
5030        (HBOX, 16)
5031        (HVBOX, 16)
5032        (HBOX, 20)
5033        (HOVBOX, 20)]
5034      scanStk = [
5035        (48, {tok=BREAK{nsp=1, offset=0}, sz=-47, len=1})
5036        (-1, {tok=TEXT "", sz=-1, len=0})]
5037    END
5038    *** newline: BEGIN
5039      width     =  20
5040      curIndent =   8, curDepth =   4
5041      leftTot   =  54, rightTot =  54
5042      spaceLeft =   6
5043      queue = [
5044        {tok=END, sz=0, len=0}]
5045      fmtStk = [
5046        (HVBOX, 12)
5047        (HBOX, 16)
5048        (HVBOX, 16)
5049        (HBOX, 20)
5050        (HOVBOX, 20)]
5051      scanStk = [
5052        (-1, {tok=TEXT "", sz=-1, len=0})]
5053    END
5054    *** string: BEGIN
5055      width     =  20
5056      curIndent =   4, curDepth =   4
5057      leftTot   =  54, rightTot =  54
5058      spaceLeft =  16
5059      queue = []
5060      fmtStk = [
5061        (HBOX, 16)
5062        (HVBOX, 16)
5063        (HBOX, 20)
5064        (HOVBOX, 20)]
5065      scanStk = [
5066        (-1, {tok=TEXT "", sz=-1, len=0})]
5067    END
5068    *** closeBox: BEGIN
5069      width     =  20
5070      curIndent =   4, curDepth =   4
5071      leftTot   =  55, rightTot =  55
5072      spaceLeft =  15
5073      queue = []
5074      fmtStk = [
5075        (HBOX, 16)
5076        (HVBOX, 16)
5077        (HBOX, 20)
5078        (HOVBOX, 20)]
5079      scanStk = [
5080        (-1, {tok=TEXT "", sz=-1, len=0})]
5081    END
5082    *** space: BEGIN
5083      width     =  20
5084      curIndent =   4, curDepth =   3
5085      leftTot   =  55, rightTot =  55
5086      spaceLeft =  15
5087      queue = [
5088        {tok=END, sz=0, len=0}]
5089      fmtStk = [
5090        (HBOX, 16)
5091        (HVBOX, 16)
5092        (HBOX, 20)
5093        (HOVBOX, 20)]
5094      scanStk = [
5095        (-1, {tok=TEXT "", sz=-1, len=0})]
5096    END
5097    *** string: BEGIN
5098      width     =  20
5099      curIndent =   4, curDepth =   3
5100      leftTot   =  55, rightTot =  56
5101      spaceLeft =  15
5102      queue = [
5103        {tok=END, sz=0, len=0}
5104        {tok=BREAK{nsp=1, offset=0}, sz=-55, len=1}]
5105      fmtStk = [
5106        (HBOX, 16)
5107        (HVBOX, 16)
5108        (HBOX, 20)
5109        (HOVBOX, 20)]
5110      scanStk = [
5111        (56, {tok=BREAK{nsp=1, offset=0}, sz=-55, len=1})
5112        (-1, {tok=TEXT "", sz=-1, len=0})]
5113    END
5114    *** space: BEGIN
5115      width     =  20
5116      curIndent =   4, curDepth =   3
5117      leftTot   =  55, rightTot =  62
5118      spaceLeft =  15
5119      queue = [
5120        {tok=BREAK{nsp=1, offset=0}, sz=-55, len=1}
5121        {tok=TEXT "stmt5;", sz=6, len=6}]
5122      fmtStk = [
5123        (HVBOX, 16)
5124        (HBOX, 20)
5125        (HOVBOX, 20)]
5126      scanStk = [
5127        (56, {tok=BREAK{nsp=1, offset=0}, sz=-55, len=1})
5128        (-1, {tok=TEXT "", sz=-1, len=0})]
5129    END
5130    *** string: BEGIN
5131      width     =  20
5132      curIndent =   4, curDepth =   3
5133      leftTot   =  55, rightTot =  63
5134      spaceLeft =  15
5135      queue = [
5136        {tok=BREAK{nsp=1, offset=0}, sz=8, len=1}
5137        {tok=TEXT "stmt5;", sz=6, len=6}
5138        {tok=BREAK{nsp=1, offset=0}, sz=-62, len=1}]
5139      fmtStk = [
5140        (HVBOX, 16)
5141        (HBOX, 20)
5142        (HOVBOX, 20)]
5143      scanStk = [
5144        (63, {tok=BREAK{nsp=1, offset=0}, sz=-62, len=1})
5145        (-1, {tok=TEXT "", sz=-1, len=0})]
5146    END
5147    *** closeBox: BEGIN
5148      width     =  20
5149      curIndent =   4, curDepth =   3
5150      leftTot   =  62, rightTot =  69
5151      spaceLeft =  10
5152      queue = [
5153        {tok=BREAK{nsp=1, offset=0}, sz=-62, len=1}
5154        {tok=TEXT "stmt6;", sz=6, len=6}]
5155      fmtStk = [
5156        (HVBOX, 16)
5157        (HBOX, 20)
5158        (HOVBOX, 20)]
5159      scanStk = [
5160        (63, {tok=BREAK{nsp=1, offset=0}, sz=-62, len=1})
5161        (-1, {tok=TEXT "", sz=-1, len=0})]
5162    END
5163    *** newline: BEGIN
5164      width     =  20
5165      curIndent =   4, curDepth =   2
5166      leftTot   =  62, rightTot =  69
5167      spaceLeft =  10
5168      queue = [
5169        {tok=BREAK{nsp=1, offset=0}, sz=7, len=1}
5170        {tok=TEXT "stmt6;", sz=6, len=6}
5171        {tok=END, sz=0, len=0}]
5172      fmtStk = [
5173        (HVBOX, 16)
5174        (HBOX, 20)
5175        (HOVBOX, 20)]
5176      scanStk = [
5177        (-1, {tok=TEXT "", sz=-1, len=0})]
5178    END
5179    *** string: BEGIN
5180      width     =  20
5181      curIndent =   0, curDepth =   2
5182      leftTot   =  69, rightTot =  69
5183      spaceLeft =  20
5184      queue = []
5185      fmtStk = [
5186        (HBOX, 20)
5187        (HOVBOX, 20)]
5188      scanStk = [
5189        (-1, {tok=TEXT "", sz=-1, len=0})]
5190    END
5191    *** closeBox: BEGIN
5192      width     =  20
5193      curIndent =   0, curDepth =   2
5194      leftTot   =  70, rightTot =  70
5195      spaceLeft =  19
5196      queue = []
5197      fmtStk = [
5198        (HBOX, 20)
5199        (HOVBOX, 20)]
5200      scanStk = [
5201        (-1, {tok=TEXT "", sz=-1, len=0})]
5202    END
5203    *** closeStream: BEGIN
5204      width     =  20
5205      curIndent =   0, curDepth =   1
5206      leftTot   =  70, rightTot =  70
5207      spaceLeft =  19
5208      queue = [
5209        {tok=END, sz=0, len=0}]
5210      fmtStk = [
5211        (HBOX, 20)
5212        (HOVBOX, 20)]
5213      scanStk = [
5214        (-1, {tok=TEXT "", sz=-1, len=0})]
5215    END
5216    *** openHBox: BEGIN
5217      width     =  20
5218      curIndent =   0, curDepth =   1
5219      leftTot   =   1, rightTot =   1
5220      spaceLeft =  20
5221      queue = [
5222        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}]
5223      fmtStk = []
5224      scanStk = [
5225        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5226        (-1, {tok=TEXT "", sz=-1, len=0})]
5227    END
5228    *** string: BEGIN
5229      width     =  20
5230      curIndent =   0, curDepth =   2
5231      leftTot   =   1, rightTot =   1
5232      spaceLeft =  20
5233      queue = [
5234        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
5235        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}]
5236      fmtStk = []
5237      scanStk = [
5238        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5239        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5240        (-1, {tok=TEXT "", sz=-1, len=0})]
5241    END
5242    *** space: BEGIN
5243      width     =  20
5244      curIndent =   0, curDepth =   2
5245      leftTot   =   1, rightTot =   3
5246      spaceLeft =  20
5247      queue = [
5248        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
5249        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
5250        {tok=TEXT "if", sz=2, len=2}]
5251      fmtStk = []
5252      scanStk = [
5253        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5254        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5255        (-1, {tok=TEXT "", sz=-1, len=0})]
5256    END
5257    *** string: BEGIN
5258      width     =  20
5259      curIndent =   0, curDepth =   2
5260      leftTot   =   1, rightTot =   4
5261      spaceLeft =  20
5262      queue = [
5263        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
5264        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
5265        {tok=TEXT "if", sz=2, len=2}
5266        {tok=BREAK{nsp=1, offset=0}, sz=-3, len=1}]
5267      fmtStk = []
5268      scanStk = [
5269        (4, {tok=BREAK{nsp=1, offset=0}, sz=-3, len=1})
5270        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5271        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5272        (-1, {tok=TEXT "", sz=-1, len=0})]
5273    END
5274    *** space: BEGIN
5275      width     =  20
5276      curIndent =   0, curDepth =   2
5277      leftTot   =   1, rightTot =  11
5278      spaceLeft =  20
5279      queue = [
5280        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
5281        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
5282        {tok=TEXT "if", sz=2, len=2}
5283        {tok=BREAK{nsp=1, offset=0}, sz=-3, len=1}
5284        {tok=TEXT "(x < y)", sz=7, len=7}]
5285      fmtStk = []
5286      scanStk = [
5287        (4, {tok=BREAK{nsp=1, offset=0}, sz=-3, len=1})
5288        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5289        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5290        (-1, {tok=TEXT "", sz=-1, len=0})]
5291    END
5292    *** string: BEGIN
5293      width     =  20
5294      curIndent =   0, curDepth =   2
5295      leftTot   =   1, rightTot =  12
5296      spaceLeft =  20
5297      queue = [
5298        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
5299        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
5300        {tok=TEXT "if", sz=2, len=2}
5301        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
5302        {tok=TEXT "(x < y)", sz=7, len=7}
5303        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}]
5304      fmtStk = []
5305      scanStk = [
5306        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
5307        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5308        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5309        (-1, {tok=TEXT "", sz=-1, len=0})]
5310    END
5311    *** openHVBox: BEGIN
5312      width     =  20
5313      curIndent =   0, curDepth =   2
5314      leftTot   =   1, rightTot =  13
5315      spaceLeft =  20
5316      queue = [
5317        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
5318        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
5319        {tok=TEXT "if", sz=2, len=2}
5320        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
5321        {tok=TEXT "(x < y)", sz=7, len=7}
5322        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
5323        {tok=TEXT "{", sz=1, len=1}]
5324      fmtStk = []
5325      scanStk = [
5326        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
5327        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5328        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5329        (-1, {tok=TEXT "", sz=-1, len=0})]
5330    END
5331    *** space: BEGIN
5332      width     =  20
5333      curIndent =   0, curDepth =   3
5334      leftTot   =   1, rightTot =  13
5335      spaceLeft =  20
5336      queue = [
5337        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
5338        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
5339        {tok=TEXT "if", sz=2, len=2}
5340        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
5341        {tok=TEXT "(x < y)", sz=7, len=7}
5342        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
5343        {tok=TEXT "{", sz=1, len=1}
5344        {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0}]
5345      fmtStk = []
5346      scanStk = [
5347        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
5348        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
5349        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5350        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5351        (-1, {tok=TEXT "", sz=-1, len=0})]
5352    END
5353    *** string: BEGIN
5354      width     =  20
5355      curIndent =   0, curDepth =   3
5356      leftTot   =   1, rightTot =  14
5357      spaceLeft =  20
5358      queue = [
5359        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
5360        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
5361        {tok=TEXT "if", sz=2, len=2}
5362        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
5363        {tok=TEXT "(x < y)", sz=7, len=7}
5364        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
5365        {tok=TEXT "{", sz=1, len=1}
5366        {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0}
5367        {tok=BREAK{nsp=1, offset=0}, sz=-13, len=1}]
5368      fmtStk = []
5369      scanStk = [
5370        (14, {tok=BREAK{nsp=1, offset=0}, sz=-13, len=1})
5371        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
5372        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
5373        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5374        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5375        (-1, {tok=TEXT "", sz=-1, len=0})]
5376    END
5377    *** space: BEGIN
5378      width     =  20
5379      curIndent =   0, curDepth =   3
5380      leftTot   =   1, rightTot =  20
5381      spaceLeft =  20
5382      queue = [
5383        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
5384        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
5385        {tok=TEXT "if", sz=2, len=2}
5386        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
5387        {tok=TEXT "(x < y)", sz=7, len=7}
5388        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
5389        {tok=TEXT "{", sz=1, len=1}
5390        {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0}
5391        {tok=BREAK{nsp=1, offset=0}, sz=-13, len=1}
5392        {tok=TEXT "stmt1;", sz=6, len=6}]
5393      fmtStk = []
5394      scanStk = [
5395        (14, {tok=BREAK{nsp=1, offset=0}, sz=-13, len=1})
5396        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
5397        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
5398        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5399        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5400        (-1, {tok=TEXT "", sz=-1, len=0})]
5401    END
5402    *** openHBox: BEGIN
5403      width     =  20
5404      curIndent =   0, curDepth =   3
5405      leftTot   =   1, rightTot =  21
5406      spaceLeft =  20
5407      queue = [
5408        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
5409        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
5410        {tok=TEXT "if", sz=2, len=2}
5411        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
5412        {tok=TEXT "(x < y)", sz=7, len=7}
5413        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
5414        {tok=TEXT "{", sz=1, len=1}
5415        {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0}
5416        {tok=BREAK{nsp=1, offset=0}, sz=8, len=1}
5417        {tok=TEXT "stmt1;", sz=6, len=6}
5418        {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1}]
5419      fmtStk = []
5420      scanStk = [
5421        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
5422        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
5423        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
5424        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5425        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5426        (-1, {tok=TEXT "", sz=-1, len=0})]
5427    END
5428    *** string: BEGIN
5429      width     =  20
5430      curIndent =   0, curDepth =   4
5431      leftTot   =   1, rightTot =  21
5432      spaceLeft =  20
5433      queue = [
5434        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
5435        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
5436        {tok=TEXT "if", sz=2, len=2}
5437        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
5438        {tok=TEXT "(x < y)", sz=7, len=7}
5439        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
5440        {tok=TEXT "{", sz=1, len=1}
5441        {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0}
5442        {tok=BREAK{nsp=1, offset=0}, sz=8, len=1}
5443        {tok=TEXT "stmt1;", sz=6, len=6}
5444        {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1}
5445        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}]
5446      fmtStk = []
5447      scanStk = [
5448        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
5449        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
5450        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
5451        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
5452        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5453        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5454        (-1, {tok=TEXT "", sz=-1, len=0})]
5455    END
5456    *** space: BEGIN
5457      width     =  20
5458      curIndent =   4, curDepth =   4
5459      leftTot   =  20, rightTot =  23
5460      spaceLeft =  10
5461      queue = [
5462        {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1}
5463        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
5464        {tok=TEXT "if", sz=2, len=2}]
5465      fmtStk = [
5466        (HVBOX, 16)
5467        (HBOX, 20)
5468        (HOVBOX, 20)]
5469      scanStk = [
5470        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
5471        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
5472        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
5473        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
5474        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5475        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5476        (-1, {tok=TEXT "", sz=-1, len=0})]
5477    END
5478    *** string: BEGIN
5479      width     =  20
5480      curIndent =   4, curDepth =   4
5481      leftTot   =  20, rightTot =  24
5482      spaceLeft =  10
5483      queue = [
5484        {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1}
5485        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
5486        {tok=TEXT "if", sz=2, len=2}
5487        {tok=BREAK{nsp=1, offset=0}, sz=-23, len=1}]
5488      fmtStk = [
5489        (HVBOX, 16)
5490        (HBOX, 20)
5491        (HOVBOX, 20)]
5492      scanStk = [
5493        (24, {tok=BREAK{nsp=1, offset=0}, sz=-23, len=1})
5494        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
5495        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
5496        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
5497        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
5498        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5499        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5500        (-1, {tok=TEXT "", sz=-1, len=0})]
5501    END
5502    *** space: BEGIN
5503      width     =  20
5504      curIndent =   4, curDepth =   4
5505      leftTot   =  21, rightTot =  31
5506      spaceLeft =  16
5507      queue = [
5508        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
5509        {tok=TEXT "if", sz=2, len=2}
5510        {tok=BREAK{nsp=1, offset=0}, sz=-23, len=1}
5511        {tok=TEXT "(w < z)", sz=7, len=7}]
5512      fmtStk = [
5513        (HVBOX, 16)
5514        (HBOX, 20)
5515        (HOVBOX, 20)]
5516      scanStk = [
5517        (24, {tok=BREAK{nsp=1, offset=0}, sz=-23, len=1})
5518        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
5519        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
5520        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
5521        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
5522        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5523        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5524        (-1, {tok=TEXT "", sz=-1, len=0})]
5525    END
5526    *** string: BEGIN
5527      width     =  20
5528      curIndent =   4, curDepth =   4
5529      leftTot   =  21, rightTot =  32
5530      spaceLeft =  16
5531      queue = [
5532        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
5533        {tok=TEXT "if", sz=2, len=2}
5534        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
5535        {tok=TEXT "(w < z)", sz=7, len=7}
5536        {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1}]
5537      fmtStk = [
5538        (HVBOX, 16)
5539        (HBOX, 20)
5540        (HOVBOX, 20)]
5541      scanStk = [
5542        (32, {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1})
5543        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
5544        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
5545        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
5546        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
5547        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5548        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5549        (-1, {tok=TEXT "", sz=-1, len=0})]
5550    END
5551    *** openHVBox: BEGIN
5552      width     =  20
5553      curIndent =   4, curDepth =   4
5554      leftTot   =  21, rightTot =  33
5555      spaceLeft =  16
5556      queue = [
5557        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
5558        {tok=TEXT "if", sz=2, len=2}
5559        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
5560        {tok=TEXT "(w < z)", sz=7, len=7}
5561        {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1}
5562        {tok=TEXT "{", sz=1, len=1}]
5563      fmtStk = [
5564        (HVBOX, 16)
5565        (HBOX, 20)
5566        (HOVBOX, 20)]
5567      scanStk = [
5568        (32, {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1})
5569        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
5570        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
5571        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
5572        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
5573        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5574        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5575        (-1, {tok=TEXT "", sz=-1, len=0})]
5576    END
5577    *** space: BEGIN
5578      width     =  20
5579      curIndent =   4, curDepth =   5
5580      leftTot   =  21, rightTot =  33
5581      spaceLeft =  16
5582      queue = [
5583        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
5584        {tok=TEXT "if", sz=2, len=2}
5585        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
5586        {tok=TEXT "(w < z)", sz=7, len=7}
5587        {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1}
5588        {tok=TEXT "{", sz=1, len=1}
5589        {tok=BEGIN(Abs 4, HVBOX), sz=-33, len=0}]
5590      fmtStk = [
5591        (HVBOX, 16)
5592        (HBOX, 20)
5593        (HOVBOX, 20)]
5594      scanStk = [
5595        (33, {tok=BEGIN(Abs 4, HVBOX), sz=-33, len=0})
5596        (32, {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1})
5597        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
5598        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
5599        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
5600        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
5601        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5602        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5603        (-1, {tok=TEXT "", sz=-1, len=0})]
5604    END
5605    *** string: BEGIN
5606      width     =  20
5607      curIndent =   4, curDepth =   5
5608      leftTot   =  21, rightTot =  34
5609      spaceLeft =  16
5610      queue = [
5611        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
5612        {tok=TEXT "if", sz=2, len=2}
5613        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
5614        {tok=TEXT "(w < z)", sz=7, len=7}
5615        {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1}
5616        {tok=TEXT "{", sz=1, len=1}
5617        {tok=BEGIN(Abs 4, HVBOX), sz=-33, len=0}
5618        {tok=BREAK{nsp=1, offset=0}, sz=-33, len=1}]
5619      fmtStk = [
5620        (HVBOX, 16)
5621        (HBOX, 20)
5622        (HOVBOX, 20)]
5623      scanStk = [
5624        (34, {tok=BREAK{nsp=1, offset=0}, sz=-33, len=1})
5625        (33, {tok=BEGIN(Abs 4, HVBOX), sz=-33, len=0})
5626        (32, {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1})
5627        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
5628        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
5629        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
5630        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
5631        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5632        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5633        (-1, {tok=TEXT "", sz=-1, len=0})]
5634    END
5635    *** space: BEGIN
5636      width     =  20
5637      curIndent =   8, curDepth =   5
5638      leftTot   =  40, rightTot =  40
5639      spaceLeft =   6
5640      queue = []
5641      fmtStk = [
5642        (HVBOX, 12)
5643        (HBOX, 16)
5644        (HVBOX, 16)
5645        (HBOX, 20)
5646        (HOVBOX, 20)]
5647      scanStk = [
5648        (34, {tok=BREAK{nsp=1, offset=0}, sz=-33, len=1})
5649        (33, {tok=BEGIN(Abs 4, HVBOX), sz=-33, len=0})
5650        (32, {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1})
5651        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
5652        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
5653        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
5654        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
5655        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5656        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5657        (-1, {tok=TEXT "", sz=-1, len=0})]
5658    END
5659    *** string: BEGIN
5660      width     =  20
5661      curIndent =   8, curDepth =   5
5662      leftTot   =  40, rightTot =  41
5663      spaceLeft =   6
5664      queue = [
5665        {tok=BREAK{nsp=1, offset=0}, sz=-40, len=1}]
5666      fmtStk = [
5667        (HVBOX, 12)
5668        (HBOX, 16)
5669        (HVBOX, 16)
5670        (HBOX, 20)
5671        (HOVBOX, 20)]
5672      scanStk = [
5673        (41, {tok=BREAK{nsp=1, offset=0}, sz=-40, len=1})
5674        (-1, {tok=TEXT "", sz=-1, len=0})]
5675    END
5676    *** space: BEGIN
5677      width     =  20
5678      curIndent =   8, curDepth =   5
5679      leftTot   =  47, rightTot =  47
5680      spaceLeft =   6
5681      queue = []
5682      fmtStk = [
5683        (HVBOX, 12)
5684        (HBOX, 16)
5685        (HVBOX, 16)
5686        (HBOX, 20)
5687        (HOVBOX, 20)]
5688      scanStk = [
5689        (41, {tok=BREAK{nsp=1, offset=0}, sz=-40, len=1})
5690        (-1, {tok=TEXT "", sz=-1, len=0})]
5691    END
5692    *** string: BEGIN
5693      width     =  20
5694      curIndent =   8, curDepth =   5
5695      leftTot   =  47, rightTot =  48
5696      spaceLeft =   6
5697      queue = [
5698        {tok=BREAK{nsp=1, offset=0}, sz=-47, len=1}]
5699      fmtStk = [
5700        (HVBOX, 12)
5701        (HBOX, 16)
5702        (HVBOX, 16)
5703        (HBOX, 20)
5704        (HOVBOX, 20)]
5705      scanStk = [
5706        (48, {tok=BREAK{nsp=1, offset=0}, sz=-47, len=1})
5707        (-1, {tok=TEXT "", sz=-1, len=0})]
5708    END
5709    *** closeBox: BEGIN
5710      width     =  20
5711      curIndent =   8, curDepth =   5
5712      leftTot   =  54, rightTot =  54
5713      spaceLeft =   6
5714      queue = []
5715      fmtStk = [
5716        (HVBOX, 12)
5717        (HBOX, 16)
5718        (HVBOX, 16)
5719        (HBOX, 20)
5720        (HOVBOX, 20)]
5721      scanStk = [
5722        (48, {tok=BREAK{nsp=1, offset=0}, sz=-47, len=1})
5723        (-1, {tok=TEXT "", sz=-1, len=0})]
5724    END
5725    *** newline: BEGIN
5726      width     =  20
5727      curIndent =   8, curDepth =   4
5728      leftTot   =  54, rightTot =  54
5729      spaceLeft =   6
5730      queue = [
5731        {tok=END, sz=0, len=0}]
5732      fmtStk = [
5733        (HVBOX, 12)
5734        (HBOX, 16)
5735        (HVBOX, 16)
5736        (HBOX, 20)
5737        (HOVBOX, 20)]
5738      scanStk = [
5739        (-1, {tok=TEXT "", sz=-1, len=0})]
5740    END
5741    *** string: BEGIN
5742      width     =  20
5743      curIndent =   4, curDepth =   4
5744      leftTot   =  54, rightTot =  54
5745      spaceLeft =  16
5746      queue = []
5747      fmtStk = [
5748        (HBOX, 16)
5749        (HVBOX, 16)
5750        (HBOX, 20)
5751        (HOVBOX, 20)]
5752      scanStk = [
5753        (-1, {tok=TEXT "", sz=-1, len=0})]
5754    END
5755    *** closeBox: BEGIN
5756      width     =  20
5757      curIndent =   4, curDepth =   4
5758      leftTot   =  55, rightTot =  55
5759      spaceLeft =  15
5760      queue = []
5761      fmtStk = [
5762        (HBOX, 16)
5763        (HVBOX, 16)
5764        (HBOX, 20)
5765        (HOVBOX, 20)]
5766      scanStk = [
5767        (-1, {tok=TEXT "", sz=-1, len=0})]
5768    END
5769    *** space: BEGIN
5770      width     =  20
5771      curIndent =   4, curDepth =   3
5772      leftTot   =  55, rightTot =  55
5773      spaceLeft =  15
5774      queue = [
5775        {tok=END, sz=0, len=0}]
5776      fmtStk = [
5777        (HBOX, 16)
5778        (HVBOX, 16)
5779        (HBOX, 20)
5780        (HOVBOX, 20)]
5781      scanStk = [
5782        (-1, {tok=TEXT "", sz=-1, len=0})]
5783    END
5784    *** string: BEGIN
5785      width     =  20
5786      curIndent =   4, curDepth =   3
5787      leftTot   =  55, rightTot =  56
5788      spaceLeft =  15
5789      queue = [
5790        {tok=END, sz=0, len=0}
5791        {tok=BREAK{nsp=1, offset=0}, sz=-55, len=1}]
5792      fmtStk = [
5793        (HBOX, 16)
5794        (HVBOX, 16)
5795        (HBOX, 20)
5796        (HOVBOX, 20)]
5797      scanStk = [
5798        (56, {tok=BREAK{nsp=1, offset=0}, sz=-55, len=1})
5799        (-1, {tok=TEXT "", sz=-1, len=0})]
5800    END
5801    *** space: BEGIN
5802      width     =  20
5803      curIndent =   4, curDepth =   3
5804      leftTot   =  55, rightTot =  62
5805      spaceLeft =  15
5806      queue = [
5807        {tok=BREAK{nsp=1, offset=0}, sz=-55, len=1}
5808        {tok=TEXT "stmt5;", sz=6, len=6}]
5809      fmtStk = [
5810        (HVBOX, 16)
5811        (HBOX, 20)
5812        (HOVBOX, 20)]
5813      scanStk = [
5814        (56, {tok=BREAK{nsp=1, offset=0}, sz=-55, len=1})
5815        (-1, {tok=TEXT "", sz=-1, len=0})]
5816    END
5817    *** string: BEGIN
5818      width     =  20
5819      curIndent =   4, curDepth =   3
5820      leftTot   =  55, rightTot =  63
5821      spaceLeft =  15
5822      queue = [
5823        {tok=BREAK{nsp=1, offset=0}, sz=8, len=1}
5824        {tok=TEXT "stmt5;", sz=6, len=6}
5825        {tok=BREAK{nsp=1, offset=0}, sz=-62, len=1}]
5826      fmtStk = [
5827        (HVBOX, 16)
5828        (HBOX, 20)
5829        (HOVBOX, 20)]
5830      scanStk = [
5831        (63, {tok=BREAK{nsp=1, offset=0}, sz=-62, len=1})
5832        (-1, {tok=TEXT "", sz=-1, len=0})]
5833    END
5834    *** closeBox: BEGIN
5835      width     =  20
5836      curIndent =   4, curDepth =   3
5837      leftTot   =  62, rightTot =  69
5838      spaceLeft =  10
5839      queue = [
5840        {tok=BREAK{nsp=1, offset=0}, sz=-62, len=1}
5841        {tok=TEXT "stmt6;", sz=6, len=6}]
5842      fmtStk = [
5843        (HVBOX, 16)
5844        (HBOX, 20)
5845        (HOVBOX, 20)]
5846      scanStk = [
5847        (63, {tok=BREAK{nsp=1, offset=0}, sz=-62, len=1})
5848        (-1, {tok=TEXT "", sz=-1, len=0})]
5849    END
5850    *** newline: BEGIN
5851      width     =  20
5852      curIndent =   4, curDepth =   2
5853      leftTot   =  62, rightTot =  69
5854      spaceLeft =  10
5855      queue = [
5856        {tok=BREAK{nsp=1, offset=0}, sz=7, len=1}
5857        {tok=TEXT "stmt6;", sz=6, len=6}
5858        {tok=END, sz=0, len=0}]
5859      fmtStk = [
5860        (HVBOX, 16)
5861        (HBOX, 20)
5862        (HOVBOX, 20)]
5863      scanStk = [
5864        (-1, {tok=TEXT "", sz=-1, len=0})]
5865    END
5866    *** string: BEGIN
5867      width     =  20
5868      curIndent =   0, curDepth =   2
5869      leftTot   =  69, rightTot =  69
5870      spaceLeft =  20
5871      queue = []
5872      fmtStk = [
5873        (HBOX, 20)
5874        (HOVBOX, 20)]
5875      scanStk = [
5876        (-1, {tok=TEXT "", sz=-1, len=0})]
5877    END
5878    *** closeBox: BEGIN
5879      width     =  20
5880      curIndent =   0, curDepth =   2
5881      leftTot   =  70, rightTot =  70
5882      spaceLeft =  19
5883      queue = []
5884      fmtStk = [
5885        (HBOX, 20)
5886        (HOVBOX, 20)]
5887      scanStk = [
5888        (-1, {tok=TEXT "", sz=-1, len=0})]
5889    END
5890    *** closeStream: BEGIN
5891      width     =  20
5892      curIndent =   0, curDepth =   1
5893      leftTot   =  70, rightTot =  70
5894      spaceLeft =  19
5895      queue = [
5896        {tok=END, sz=0, len=0}]
5897      fmtStk = [
5898        (HBOX, 20)
5899        (HOVBOX, 20)]
5900      scanStk = [
5901        (-1, {tok=TEXT "", sz=-1, len=0})]
5902    END
5903    *** openHBox: BEGIN
5904      width     =  20
5905      curIndent =   0, curDepth =   1
5906      leftTot   =   1, rightTot =   1
5907      spaceLeft =  20
5908      queue = [
5909        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}]
5910      fmtStk = []
5911      scanStk = [
5912        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5913        (-1, {tok=TEXT "", sz=-1, len=0})]
5914    END
5915    *** string: BEGIN
5916      width     =  20
5917      curIndent =   0, curDepth =   2
5918      leftTot   =   1, rightTot =   1
5919      spaceLeft =  20
5920      queue = [
5921        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
5922        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}]
5923      fmtStk = []
5924      scanStk = [
5925        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5926        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5927        (-1, {tok=TEXT "", sz=-1, len=0})]
5928    END
5929    *** space: BEGIN
5930      width     =  20
5931      curIndent =   0, curDepth =   2
5932      leftTot   =   1, rightTot =   3
5933      spaceLeft =  20
5934      queue = [
5935        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
5936        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
5937        {tok=TEXT "if", sz=2, len=2}]
5938      fmtStk = []
5939      scanStk = [
5940        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5941        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5942        (-1, {tok=TEXT "", sz=-1, len=0})]
5943    END
5944    *** string: BEGIN
5945      width     =  20
5946      curIndent =   0, curDepth =   2
5947      leftTot   =   1, rightTot =   4
5948      spaceLeft =  20
5949      queue = [
5950        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
5951        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
5952        {tok=TEXT "if", sz=2, len=2}
5953        {tok=BREAK{nsp=1, offset=0}, sz=-3, len=1}]
5954      fmtStk = []
5955      scanStk = [
5956        (4, {tok=BREAK{nsp=1, offset=0}, sz=-3, len=1})
5957        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5958        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5959        (-1, {tok=TEXT "", sz=-1, len=0})]
5960    END
5961    *** space: BEGIN
5962      width     =  20
5963      curIndent =   0, curDepth =   2
5964      leftTot   =   1, rightTot =  11
5965      spaceLeft =  20
5966      queue = [
5967        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
5968        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
5969        {tok=TEXT "if", sz=2, len=2}
5970        {tok=BREAK{nsp=1, offset=0}, sz=-3, len=1}
5971        {tok=TEXT "(x < y)", sz=7, len=7}]
5972      fmtStk = []
5973      scanStk = [
5974        (4, {tok=BREAK{nsp=1, offset=0}, sz=-3, len=1})
5975        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5976        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5977        (-1, {tok=TEXT "", sz=-1, len=0})]
5978    END
5979    *** string: BEGIN
5980      width     =  20
5981      curIndent =   0, curDepth =   2
5982      leftTot   =   1, rightTot =  12
5983      spaceLeft =  20
5984      queue = [
5985        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
5986        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
5987        {tok=TEXT "if", sz=2, len=2}
5988        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
5989        {tok=TEXT "(x < y)", sz=7, len=7}
5990        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}]
5991      fmtStk = []
5992      scanStk = [
5993        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
5994        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
5995        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
5996        (-1, {tok=TEXT "", sz=-1, len=0})]
5997    END
5998    *** openHVBox: BEGIN
5999      width     =  20
6000      curIndent =   0, curDepth =   2
6001      leftTot   =   1, rightTot =  13
6002      spaceLeft =  20
6003      queue = [
6004        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
6005        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
6006        {tok=TEXT "if", sz=2, len=2}
6007        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
6008        {tok=TEXT "(x < y)", sz=7, len=7}
6009        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
6010        {tok=TEXT "{", sz=1, len=1}]
6011      fmtStk = []
6012      scanStk = [
6013        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
6014        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
6015        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6016        (-1, {tok=TEXT "", sz=-1, len=0})]
6017    END
6018    *** space: BEGIN
6019      width     =  20
6020      curIndent =   0, curDepth =   3
6021      leftTot   =   1, rightTot =  13
6022      spaceLeft =  20
6023      queue = [
6024        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
6025        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
6026        {tok=TEXT "if", sz=2, len=2}
6027        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
6028        {tok=TEXT "(x < y)", sz=7, len=7}
6029        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
6030        {tok=TEXT "{", sz=1, len=1}
6031        {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0}]
6032      fmtStk = []
6033      scanStk = [
6034        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
6035        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
6036        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
6037        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6038        (-1, {tok=TEXT "", sz=-1, len=0})]
6039    END
6040    *** string: BEGIN
6041      width     =  20
6042      curIndent =   0, curDepth =   3
6043      leftTot   =   1, rightTot =  14
6044      spaceLeft =  20
6045      queue = [
6046        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
6047        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
6048        {tok=TEXT "if", sz=2, len=2}
6049        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
6050        {tok=TEXT "(x < y)", sz=7, len=7}
6051        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
6052        {tok=TEXT "{", sz=1, len=1}
6053        {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0}
6054        {tok=BREAK{nsp=1, offset=0}, sz=-13, len=1}]
6055      fmtStk = []
6056      scanStk = [
6057        (14, {tok=BREAK{nsp=1, offset=0}, sz=-13, len=1})
6058        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
6059        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
6060        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
6061        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6062        (-1, {tok=TEXT "", sz=-1, len=0})]
6063    END
6064    *** space: BEGIN
6065      width     =  20
6066      curIndent =   0, curDepth =   3
6067      leftTot   =   1, rightTot =  20
6068      spaceLeft =  20
6069      queue = [
6070        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
6071        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
6072        {tok=TEXT "if", sz=2, len=2}
6073        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
6074        {tok=TEXT "(x < y)", sz=7, len=7}
6075        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
6076        {tok=TEXT "{", sz=1, len=1}
6077        {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0}
6078        {tok=BREAK{nsp=1, offset=0}, sz=-13, len=1}
6079        {tok=TEXT "stmt1;", sz=6, len=6}]
6080      fmtStk = []
6081      scanStk = [
6082        (14, {tok=BREAK{nsp=1, offset=0}, sz=-13, len=1})
6083        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
6084        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
6085        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
6086        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6087        (-1, {tok=TEXT "", sz=-1, len=0})]
6088    END
6089    *** openHBox: BEGIN
6090      width     =  20
6091      curIndent =   0, curDepth =   3
6092      leftTot   =   1, rightTot =  21
6093      spaceLeft =  20
6094      queue = [
6095        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
6096        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
6097        {tok=TEXT "if", sz=2, len=2}
6098        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
6099        {tok=TEXT "(x < y)", sz=7, len=7}
6100        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
6101        {tok=TEXT "{", sz=1, len=1}
6102        {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0}
6103        {tok=BREAK{nsp=1, offset=0}, sz=8, len=1}
6104        {tok=TEXT "stmt1;", sz=6, len=6}
6105        {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1}]
6106      fmtStk = []
6107      scanStk = [
6108        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
6109        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
6110        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
6111        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
6112        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6113        (-1, {tok=TEXT "", sz=-1, len=0})]
6114    END
6115    *** string: BEGIN
6116      width     =  20
6117      curIndent =   0, curDepth =   4
6118      leftTot   =   1, rightTot =  21
6119      spaceLeft =  20
6120      queue = [
6121        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
6122        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
6123        {tok=TEXT "if", sz=2, len=2}
6124        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
6125        {tok=TEXT "(x < y)", sz=7, len=7}
6126        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
6127        {tok=TEXT "{", sz=1, len=1}
6128        {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0}
6129        {tok=BREAK{nsp=1, offset=0}, sz=8, len=1}
6130        {tok=TEXT "stmt1;", sz=6, len=6}
6131        {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1}
6132        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}]
6133      fmtStk = []
6134      scanStk = [
6135        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
6136        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
6137        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
6138        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
6139        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
6140        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6141        (-1, {tok=TEXT "", sz=-1, len=0})]
6142    END
6143    *** space: BEGIN
6144      width     =  20
6145      curIndent =   4, curDepth =   4
6146      leftTot   =  20, rightTot =  23
6147      spaceLeft =  10
6148      queue = [
6149        {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1}
6150        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
6151        {tok=TEXT "if", sz=2, len=2}]
6152      fmtStk = [
6153        (HVBOX, 16)
6154        (HBOX, 20)
6155        (HOVBOX, 20)]
6156      scanStk = [
6157        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
6158        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
6159        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
6160        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
6161        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
6162        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6163        (-1, {tok=TEXT "", sz=-1, len=0})]
6164    END
6165    *** string: BEGIN
6166      width     =  20
6167      curIndent =   4, curDepth =   4
6168      leftTot   =  20, rightTot =  24
6169      spaceLeft =  10
6170      queue = [
6171        {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1}
6172        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
6173        {tok=TEXT "if", sz=2, len=2}
6174        {tok=BREAK{nsp=1, offset=0}, sz=-23, len=1}]
6175      fmtStk = [
6176        (HVBOX, 16)
6177        (HBOX, 20)
6178        (HOVBOX, 20)]
6179      scanStk = [
6180        (24, {tok=BREAK{nsp=1, offset=0}, sz=-23, len=1})
6181        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
6182        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
6183        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
6184        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
6185        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
6186        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6187        (-1, {tok=TEXT "", sz=-1, len=0})]
6188    END
6189    *** space: BEGIN
6190      width     =  20
6191      curIndent =   4, curDepth =   4
6192      leftTot   =  21, rightTot =  31
6193      spaceLeft =  16
6194      queue = [
6195        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
6196        {tok=TEXT "if", sz=2, len=2}
6197        {tok=BREAK{nsp=1, offset=0}, sz=-23, len=1}
6198        {tok=TEXT "(w < z)", sz=7, len=7}]
6199      fmtStk = [
6200        (HVBOX, 16)
6201        (HBOX, 20)
6202        (HOVBOX, 20)]
6203      scanStk = [
6204        (24, {tok=BREAK{nsp=1, offset=0}, sz=-23, len=1})
6205        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
6206        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
6207        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
6208        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
6209        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
6210        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6211        (-1, {tok=TEXT "", sz=-1, len=0})]
6212    END
6213    *** string: BEGIN
6214      width     =  20
6215      curIndent =   4, curDepth =   4
6216      leftTot   =  21, rightTot =  32
6217      spaceLeft =  16
6218      queue = [
6219        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
6220        {tok=TEXT "if", sz=2, len=2}
6221        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
6222        {tok=TEXT "(w < z)", sz=7, len=7}
6223        {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1}]
6224      fmtStk = [
6225        (HVBOX, 16)
6226        (HBOX, 20)
6227        (HOVBOX, 20)]
6228      scanStk = [
6229        (32, {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1})
6230        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
6231        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
6232        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
6233        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
6234        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
6235        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6236        (-1, {tok=TEXT "", sz=-1, len=0})]
6237    END
6238    *** openHVBox: BEGIN
6239      width     =  20
6240      curIndent =   4, curDepth =   4
6241      leftTot   =  21, rightTot =  33
6242      spaceLeft =  16
6243      queue = [
6244        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
6245        {tok=TEXT "if", sz=2, len=2}
6246        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
6247        {tok=TEXT "(w < z)", sz=7, len=7}
6248        {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1}
6249        {tok=TEXT "{", sz=1, len=1}]
6250      fmtStk = [
6251        (HVBOX, 16)
6252        (HBOX, 20)
6253        (HOVBOX, 20)]
6254      scanStk = [
6255        (32, {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1})
6256        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
6257        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
6258        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
6259        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
6260        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
6261        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6262        (-1, {tok=TEXT "", sz=-1, len=0})]
6263    END
6264    *** space: BEGIN
6265      width     =  20
6266      curIndent =   4, curDepth =   5
6267      leftTot   =  21, rightTot =  33
6268      spaceLeft =  16
6269      queue = [
6270        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
6271        {tok=TEXT "if", sz=2, len=2}
6272        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
6273        {tok=TEXT "(w < z)", sz=7, len=7}
6274        {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1}
6275        {tok=TEXT "{", sz=1, len=1}
6276        {tok=BEGIN(Abs 4, HVBOX), sz=-33, len=0}]
6277      fmtStk = [
6278        (HVBOX, 16)
6279        (HBOX, 20)
6280        (HOVBOX, 20)]
6281      scanStk = [
6282        (33, {tok=BEGIN(Abs 4, HVBOX), sz=-33, len=0})
6283        (32, {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1})
6284        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
6285        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
6286        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
6287        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
6288        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
6289        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6290        (-1, {tok=TEXT "", sz=-1, len=0})]
6291    END
6292    *** string: BEGIN
6293      width     =  20
6294      curIndent =   4, curDepth =   5
6295      leftTot   =  21, rightTot =  34
6296      spaceLeft =  16
6297      queue = [
6298        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
6299        {tok=TEXT "if", sz=2, len=2}
6300        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
6301        {tok=TEXT "(w < z)", sz=7, len=7}
6302        {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1}
6303        {tok=TEXT "{", sz=1, len=1}
6304        {tok=BEGIN(Abs 4, HVBOX), sz=-33, len=0}
6305        {tok=BREAK{nsp=1, offset=0}, sz=-33, len=1}]
6306      fmtStk = [
6307        (HVBOX, 16)
6308        (HBOX, 20)
6309        (HOVBOX, 20)]
6310      scanStk = [
6311        (34, {tok=BREAK{nsp=1, offset=0}, sz=-33, len=1})
6312        (33, {tok=BEGIN(Abs 4, HVBOX), sz=-33, len=0})
6313        (32, {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1})
6314        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
6315        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
6316        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
6317        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
6318        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
6319        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6320        (-1, {tok=TEXT "", sz=-1, len=0})]
6321    END
6322    *** space: BEGIN
6323      width     =  20
6324      curIndent =   8, curDepth =   5
6325      leftTot   =  40, rightTot =  40
6326      spaceLeft =   6
6327      queue = []
6328      fmtStk = [
6329        (HVBOX, 12)
6330        (HBOX, 16)
6331        (HVBOX, 16)
6332        (HBOX, 20)
6333        (HOVBOX, 20)]
6334      scanStk = [
6335        (34, {tok=BREAK{nsp=1, offset=0}, sz=-33, len=1})
6336        (33, {tok=BEGIN(Abs 4, HVBOX), sz=-33, len=0})
6337        (32, {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1})
6338        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
6339        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
6340        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
6341        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
6342        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
6343        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6344        (-1, {tok=TEXT "", sz=-1, len=0})]
6345    END
6346    *** string: BEGIN
6347      width     =  20
6348      curIndent =   8, curDepth =   5
6349      leftTot   =  40, rightTot =  41
6350      spaceLeft =   6
6351      queue = [
6352        {tok=BREAK{nsp=1, offset=0}, sz=-40, len=1}]
6353      fmtStk = [
6354        (HVBOX, 12)
6355        (HBOX, 16)
6356        (HVBOX, 16)
6357        (HBOX, 20)
6358        (HOVBOX, 20)]
6359      scanStk = [
6360        (41, {tok=BREAK{nsp=1, offset=0}, sz=-40, len=1})
6361        (-1, {tok=TEXT "", sz=-1, len=0})]
6362    END
6363    *** space: BEGIN
6364      width     =  20
6365      curIndent =   8, curDepth =   5
6366      leftTot   =  47, rightTot =  47
6367      spaceLeft =   6
6368      queue = []
6369      fmtStk = [
6370        (HVBOX, 12)
6371        (HBOX, 16)
6372        (HVBOX, 16)
6373        (HBOX, 20)
6374        (HOVBOX, 20)]
6375      scanStk = [
6376        (41, {tok=BREAK{nsp=1, offset=0}, sz=-40, len=1})
6377        (-1, {tok=TEXT "", sz=-1, len=0})]
6378    END
6379    *** string: BEGIN
6380      width     =  20
6381      curIndent =   8, curDepth =   5
6382      leftTot   =  47, rightTot =  48
6383      spaceLeft =   6
6384      queue = [
6385        {tok=BREAK{nsp=1, offset=0}, sz=-47, len=1}]
6386      fmtStk = [
6387        (HVBOX, 12)
6388        (HBOX, 16)
6389        (HVBOX, 16)
6390        (HBOX, 20)
6391        (HOVBOX, 20)]
6392      scanStk = [
6393        (48, {tok=BREAK{nsp=1, offset=0}, sz=-47, len=1})
6394        (-1, {tok=TEXT "", sz=-1, len=0})]
6395    END
6396    *** closeBox: BEGIN
6397      width     =  20
6398      curIndent =   8, curDepth =   5
6399      leftTot   =  54, rightTot =  54
6400      spaceLeft =   6
6401      queue = []
6402      fmtStk = [
6403        (HVBOX, 12)
6404        (HBOX, 16)
6405        (HVBOX, 16)
6406        (HBOX, 20)
6407        (HOVBOX, 20)]
6408      scanStk = [
6409        (48, {tok=BREAK{nsp=1, offset=0}, sz=-47, len=1})
6410        (-1, {tok=TEXT "", sz=-1, len=0})]
6411    END
6412    *** newline: BEGIN
6413      width     =  20
6414      curIndent =   8, curDepth =   4
6415      leftTot   =  54, rightTot =  54
6416      spaceLeft =   6
6417      queue = [
6418        {tok=END, sz=0, len=0}]
6419      fmtStk = [
6420        (HVBOX, 12)
6421        (HBOX, 16)
6422        (HVBOX, 16)
6423        (HBOX, 20)
6424        (HOVBOX, 20)]
6425      scanStk = [
6426        (-1, {tok=TEXT "", sz=-1, len=0})]
6427    END
6428    *** string: BEGIN
6429      width     =  20
6430      curIndent =   4, curDepth =   4
6431      leftTot   =  54, rightTot =  54
6432      spaceLeft =  16
6433      queue = []
6434      fmtStk = [
6435        (HBOX, 16)
6436        (HVBOX, 16)
6437        (HBOX, 20)
6438        (HOVBOX, 20)]
6439      scanStk = [
6440        (-1, {tok=TEXT "", sz=-1, len=0})]
6441    END
6442    *** closeBox: BEGIN
6443      width     =  20
6444      curIndent =   4, curDepth =   4
6445      leftTot   =  55, rightTot =  55
6446      spaceLeft =  15
6447      queue = []
6448      fmtStk = [
6449        (HBOX, 16)
6450        (HVBOX, 16)
6451        (HBOX, 20)
6452        (HOVBOX, 20)]
6453      scanStk = [
6454        (-1, {tok=TEXT "", sz=-1, len=0})]
6455    END
6456    *** space: BEGIN
6457      width     =  20
6458      curIndent =   4, curDepth =   3
6459      leftTot   =  55, rightTot =  55
6460      spaceLeft =  15
6461      queue = [
6462        {tok=END, sz=0, len=0}]
6463      fmtStk = [
6464        (HBOX, 16)
6465        (HVBOX, 16)
6466        (HBOX, 20)
6467        (HOVBOX, 20)]
6468      scanStk = [
6469        (-1, {tok=TEXT "", sz=-1, len=0})]
6470    END
6471    *** string: BEGIN
6472      width     =  20
6473      curIndent =   4, curDepth =   3
6474      leftTot   =  55, rightTot =  56
6475      spaceLeft =  15
6476      queue = [
6477        {tok=END, sz=0, len=0}
6478        {tok=BREAK{nsp=1, offset=0}, sz=-55, len=1}]
6479      fmtStk = [
6480        (HBOX, 16)
6481        (HVBOX, 16)
6482        (HBOX, 20)
6483        (HOVBOX, 20)]
6484      scanStk = [
6485        (56, {tok=BREAK{nsp=1, offset=0}, sz=-55, len=1})
6486        (-1, {tok=TEXT "", sz=-1, len=0})]
6487    END
6488    *** space: BEGIN
6489      width     =  20
6490      curIndent =   4, curDepth =   3
6491      leftTot   =  55, rightTot =  62
6492      spaceLeft =  15
6493      queue = [
6494        {tok=BREAK{nsp=1, offset=0}, sz=-55, len=1}
6495        {tok=TEXT "stmt5;", sz=6, len=6}]
6496      fmtStk = [
6497        (HVBOX, 16)
6498        (HBOX, 20)
6499        (HOVBOX, 20)]
6500      scanStk = [
6501        (56, {tok=BREAK{nsp=1, offset=0}, sz=-55, len=1})
6502        (-1, {tok=TEXT "", sz=-1, len=0})]
6503    END
6504    *** string: BEGIN
6505      width     =  20
6506      curIndent =   4, curDepth =   3
6507      leftTot   =  55, rightTot =  63
6508      spaceLeft =  15
6509      queue = [
6510        {tok=BREAK{nsp=1, offset=0}, sz=8, len=1}
6511        {tok=TEXT "stmt5;", sz=6, len=6}
6512        {tok=BREAK{nsp=1, offset=0}, sz=-62, len=1}]
6513      fmtStk = [
6514        (HVBOX, 16)
6515        (HBOX, 20)
6516        (HOVBOX, 20)]
6517      scanStk = [
6518        (63, {tok=BREAK{nsp=1, offset=0}, sz=-62, len=1})
6519        (-1, {tok=TEXT "", sz=-1, len=0})]
6520    END
6521    *** closeBox: BEGIN
6522      width     =  20
6523      curIndent =   4, curDepth =   3
6524      leftTot   =  62, rightTot =  69
6525      spaceLeft =  10
6526      queue = [
6527        {tok=BREAK{nsp=1, offset=0}, sz=-62, len=1}
6528        {tok=TEXT "stmt6;", sz=6, len=6}]
6529      fmtStk = [
6530        (HVBOX, 16)
6531        (HBOX, 20)
6532        (HOVBOX, 20)]
6533      scanStk = [
6534        (63, {tok=BREAK{nsp=1, offset=0}, sz=-62, len=1})
6535        (-1, {tok=TEXT "", sz=-1, len=0})]
6536    END
6537    *** newline: BEGIN
6538      width     =  20
6539      curIndent =   4, curDepth =   2
6540      leftTot   =  62, rightTot =  69
6541      spaceLeft =  10
6542      queue = [
6543        {tok=BREAK{nsp=1, offset=0}, sz=7, len=1}
6544        {tok=TEXT "stmt6;", sz=6, len=6}
6545        {tok=END, sz=0, len=0}]
6546      fmtStk = [
6547        (HVBOX, 16)
6548        (HBOX, 20)
6549        (HOVBOX, 20)]
6550      scanStk = [
6551        (-1, {tok=TEXT "", sz=-1, len=0})]
6552    END
6553    *** string: BEGIN
6554      width     =  20
6555      curIndent =   0, curDepth =   2
6556      leftTot   =  69, rightTot =  69
6557      spaceLeft =  20
6558      queue = []
6559      fmtStk = [
6560        (HBOX, 20)
6561        (HOVBOX, 20)]
6562      scanStk = [
6563        (-1, {tok=TEXT "", sz=-1, len=0})]
6564    END
6565    *** closeBox: BEGIN
6566      width     =  20
6567      curIndent =   0, curDepth =   2
6568      leftTot   =  70, rightTot =  70
6569      spaceLeft =  19
6570      queue = []
6571      fmtStk = [
6572        (HBOX, 20)
6573        (HOVBOX, 20)]
6574      scanStk = [
6575        (-1, {tok=TEXT "", sz=-1, len=0})]
6576    END
6577    *** closeStream: BEGIN
6578      width     =  20
6579      curIndent =   0, curDepth =   1
6580      leftTot   =  70, rightTot =  70
6581      spaceLeft =  19
6582      queue = [
6583        {tok=END, sz=0, len=0}]
6584      fmtStk = [
6585        (HBOX, 20)
6586        (HOVBOX, 20)]
6587      scanStk = [
6588        (-1, {tok=TEXT "", sz=-1, len=0})]
6589    END
6590    *** openVBox: BEGIN
6591      width     =  20
6592      curIndent =   0, curDepth =   1
6593      leftTot   =   1, rightTot =   1
6594      spaceLeft =  20
6595      queue = [
6596        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}]
6597      fmtStk = []
6598      scanStk = [
6599        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6600        (-1, {tok=TEXT "", sz=-1, len=0})]
6601    END
6602    *** string: BEGIN
6603      width     =  20
6604      curIndent =   0, curDepth =   2
6605      leftTot   =   1, rightTot =   1
6606      spaceLeft =  20
6607      queue = [
6608        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
6609        {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0}]
6610      fmtStk = []
6611      scanStk = [
6612        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6613        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6614        (-1, {tok=TEXT "", sz=-1, len=0})]
6615    END
6616    *** newline: BEGIN
6617      width     =  20
6618      curIndent =   0, curDepth =   2
6619      leftTot   =   1, rightTot =   7
6620      spaceLeft =  20
6621      queue = [
6622        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
6623        {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0}
6624        {tok=TEXT "line 1", sz=6, len=6}]
6625      fmtStk = []
6626      scanStk = [
6627        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6628        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6629        (-1, {tok=TEXT "", sz=-1, len=0})]
6630    END
6631    *** string: BEGIN
6632      width     =  20
6633      curIndent =   0, curDepth =   2
6634      leftTot   =   1, rightTot =   7
6635      spaceLeft =  20
6636      queue = [
6637        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
6638        {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0}
6639        {tok=TEXT "line 1", sz=6, len=6}
6640        {tok=NL, sz=0, len=0}]
6641      fmtStk = []
6642      scanStk = [
6643        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6644        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6645        (-1, {tok=TEXT "", sz=-1, len=0})]
6646    END
6647    *** newline: BEGIN
6648      width     =  20
6649      curIndent =   0, curDepth =   2
6650      leftTot   =   1, rightTot =  13
6651      spaceLeft =  20
6652      queue = [
6653        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
6654        {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0}
6655        {tok=TEXT "line 1", sz=6, len=6}
6656        {tok=NL, sz=0, len=0}
6657        {tok=TEXT "line 2", sz=6, len=6}]
6658      fmtStk = []
6659      scanStk = [
6660        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6661        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6662        (-1, {tok=TEXT "", sz=-1, len=0})]
6663    END
6664    *** openVBox: BEGIN
6665      width     =  20
6666      curIndent =   0, curDepth =   2
6667      leftTot   =   1, rightTot =  13
6668      spaceLeft =  20
6669      queue = [
6670        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
6671        {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0}
6672        {tok=TEXT "line 1", sz=6, len=6}
6673        {tok=NL, sz=0, len=0}
6674        {tok=TEXT "line 2", sz=6, len=6}
6675        {tok=NL, sz=0, len=0}]
6676      fmtStk = []
6677      scanStk = [
6678        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6679        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6680        (-1, {tok=TEXT "", sz=-1, len=0})]
6681    END
6682    *** string: BEGIN
6683      width     =  20
6684      curIndent =   0, curDepth =   3
6685      leftTot   =   1, rightTot =  13
6686      spaceLeft =  20
6687      queue = [
6688        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
6689        {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0}
6690        {tok=TEXT "line 1", sz=6, len=6}
6691        {tok=NL, sz=0, len=0}
6692        {tok=TEXT "line 2", sz=6, len=6}
6693        {tok=NL, sz=0, len=0}
6694        {tok=BEGIN(Abs 0, VBOX), sz=-13, len=0}]
6695      fmtStk = []
6696      scanStk = [
6697        (13, {tok=BEGIN(Abs 0, VBOX), sz=-13, len=0})
6698        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6699        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6700        (-1, {tok=TEXT "", sz=-1, len=0})]
6701    END
6702    *** newline: BEGIN
6703      width     =  20
6704      curIndent =   0, curDepth =   3
6705      leftTot   =   1, rightTot =  19
6706      spaceLeft =  20
6707      queue = [
6708        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
6709        {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0}
6710        {tok=TEXT "line 1", sz=6, len=6}
6711        {tok=NL, sz=0, len=0}
6712        {tok=TEXT "line 2", sz=6, len=6}
6713        {tok=NL, sz=0, len=0}
6714        {tok=BEGIN(Abs 0, VBOX), sz=-13, len=0}
6715        {tok=TEXT "line 3", sz=6, len=6}]
6716      fmtStk = []
6717      scanStk = [
6718        (13, {tok=BEGIN(Abs 0, VBOX), sz=-13, len=0})
6719        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6720        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6721        (-1, {tok=TEXT "", sz=-1, len=0})]
6722    END
6723    *** string: BEGIN
6724      width     =  20
6725      curIndent =   0, curDepth =   3
6726      leftTot   =   1, rightTot =  19
6727      spaceLeft =  20
6728      queue = [
6729        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
6730        {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0}
6731        {tok=TEXT "line 1", sz=6, len=6}
6732        {tok=NL, sz=0, len=0}
6733        {tok=TEXT "line 2", sz=6, len=6}
6734        {tok=NL, sz=0, len=0}
6735        {tok=BEGIN(Abs 0, VBOX), sz=-13, len=0}
6736        {tok=TEXT "line 3", sz=6, len=6}
6737        {tok=NL, sz=0, len=0}]
6738      fmtStk = []
6739      scanStk = [
6740        (13, {tok=BEGIN(Abs 0, VBOX), sz=-13, len=0})
6741        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6742        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6743        (-1, {tok=TEXT "", sz=-1, len=0})]
6744    END
6745    *** closeBox: BEGIN
6746      width     =  20
6747      curIndent =   0, curDepth =   3
6748      leftTot   =  13, rightTot =  25
6749      spaceLeft =  20
6750      queue = [
6751        {tok=BEGIN(Abs 0, VBOX), sz=-13, len=0}
6752        {tok=TEXT "line 3", sz=6, len=6}
6753        {tok=NL, sz=0, len=0}
6754        {tok=TEXT "line 4", sz=6, len=6}]
6755      fmtStk = [
6756        (VBOX, 20)
6757        (HOVBOX, 20)]
6758      scanStk = [
6759        (13, {tok=BEGIN(Abs 0, VBOX), sz=-13, len=0})
6760        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6761        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6762        (-1, {tok=TEXT "", sz=-1, len=0})]
6763    END
6764    *** newline: BEGIN
6765      width     =  20
6766      curIndent =   0, curDepth =   2
6767      leftTot   =  13, rightTot =  25
6768      spaceLeft =  20
6769      queue = [
6770        {tok=BEGIN(Abs 0, VBOX), sz=12, len=0}
6771        {tok=TEXT "line 3", sz=6, len=6}
6772        {tok=NL, sz=0, len=0}
6773        {tok=TEXT "line 4", sz=6, len=6}
6774        {tok=END, sz=0, len=0}]
6775      fmtStk = [
6776        (VBOX, 20)
6777        (HOVBOX, 20)]
6778      scanStk = [
6779        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6780        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6781        (-1, {tok=TEXT "", sz=-1, len=0})]
6782    END
6783    *** string: BEGIN
6784      width     =  20
6785      curIndent =   0, curDepth =   2
6786      leftTot   =  25, rightTot =  25
6787      spaceLeft =  20
6788      queue = []
6789      fmtStk = [
6790        (VBOX, 20)
6791        (HOVBOX, 20)]
6792      scanStk = [
6793        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6794        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6795        (-1, {tok=TEXT "", sz=-1, len=0})]
6796    END
6797    *** newline: BEGIN
6798      width     =  20
6799      curIndent =   0, curDepth =   2
6800      leftTot   =  31, rightTot =  31
6801      spaceLeft =  14
6802      queue = []
6803      fmtStk = [
6804        (VBOX, 20)
6805        (HOVBOX, 20)]
6806      scanStk = [
6807        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6808        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6809        (-1, {tok=TEXT "", sz=-1, len=0})]
6810    END
6811    *** string: BEGIN
6812      width     =  20
6813      curIndent =   0, curDepth =   2
6814      leftTot   =  31, rightTot =  31
6815      spaceLeft =  20
6816      queue = []
6817      fmtStk = [
6818        (VBOX, 20)
6819        (HOVBOX, 20)]
6820      scanStk = [
6821        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6822        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6823        (-1, {tok=TEXT "", sz=-1, len=0})]
6824    END
6825    *** newline: BEGIN
6826      width     =  20
6827      curIndent =   0, curDepth =   2
6828      leftTot   =  37, rightTot =  37
6829      spaceLeft =  14
6830      queue = []
6831      fmtStk = [
6832        (VBOX, 20)
6833        (HOVBOX, 20)]
6834      scanStk = [
6835        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6836        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6837        (-1, {tok=TEXT "", sz=-1, len=0})]
6838    END
6839    *** openVBox: BEGIN
6840      width     =  20
6841      curIndent =   0, curDepth =   2
6842      leftTot   =  37, rightTot =  37
6843      spaceLeft =  20
6844      queue = []
6845      fmtStk = [
6846        (VBOX, 20)
6847        (HOVBOX, 20)]
6848      scanStk = [
6849        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6850        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6851        (-1, {tok=TEXT "", sz=-1, len=0})]
6852    END
6853    *** string: BEGIN
6854      width     =  20
6855      curIndent =   0, curDepth =   3
6856      leftTot   =  37, rightTot =  37
6857      spaceLeft =  20
6858      queue = [
6859        {tok=BEGIN(Abs 0, VBOX), sz=-37, len=0}]
6860      fmtStk = [
6861        (VBOX, 20)
6862        (HOVBOX, 20)]
6863      scanStk = [
6864        (37, {tok=BEGIN(Abs 0, VBOX), sz=-37, len=0})
6865        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6866        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6867        (-1, {tok=TEXT "", sz=-1, len=0})]
6868    END
6869    *** newline: BEGIN
6870      width     =  20
6871      curIndent =   0, curDepth =   3
6872      leftTot   =  37, rightTot =  43
6873      spaceLeft =  20
6874      queue = [
6875        {tok=BEGIN(Abs 0, VBOX), sz=-37, len=0}
6876        {tok=TEXT "line 7", sz=6, len=6}]
6877      fmtStk = [
6878        (VBOX, 20)
6879        (HOVBOX, 20)]
6880      scanStk = [
6881        (37, {tok=BEGIN(Abs 0, VBOX), sz=-37, len=0})
6882        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6883        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6884        (-1, {tok=TEXT "", sz=-1, len=0})]
6885    END
6886    *** string: BEGIN
6887      width     =  20
6888      curIndent =   0, curDepth =   3
6889      leftTot   =  37, rightTot =  43
6890      spaceLeft =  20
6891      queue = [
6892        {tok=BEGIN(Abs 0, VBOX), sz=-37, len=0}
6893        {tok=TEXT "line 7", sz=6, len=6}
6894        {tok=NL, sz=0, len=0}]
6895      fmtStk = [
6896        (VBOX, 20)
6897        (HOVBOX, 20)]
6898      scanStk = [
6899        (37, {tok=BEGIN(Abs 0, VBOX), sz=-37, len=0})
6900        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6901        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6902        (-1, {tok=TEXT "", sz=-1, len=0})]
6903    END
6904    *** closeBox: BEGIN
6905      width     =  20
6906      curIndent =   0, curDepth =   3
6907      leftTot   =  37, rightTot =  49
6908      spaceLeft =  20
6909      queue = [
6910        {tok=BEGIN(Abs 0, VBOX), sz=-37, len=0}
6911        {tok=TEXT "line 7", sz=6, len=6}
6912        {tok=NL, sz=0, len=0}
6913        {tok=TEXT "line 8", sz=6, len=6}]
6914      fmtStk = [
6915        (VBOX, 20)
6916        (HOVBOX, 20)]
6917      scanStk = [
6918        (37, {tok=BEGIN(Abs 0, VBOX), sz=-37, len=0})
6919        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6920        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6921        (-1, {tok=TEXT "", sz=-1, len=0})]
6922    END
6923    *** newline: BEGIN
6924      width     =  20
6925      curIndent =   0, curDepth =   2
6926      leftTot   =  37, rightTot =  49
6927      spaceLeft =  20
6928      queue = [
6929        {tok=BEGIN(Abs 0, VBOX), sz=12, len=0}
6930        {tok=TEXT "line 7", sz=6, len=6}
6931        {tok=NL, sz=0, len=0}
6932        {tok=TEXT "line 8", sz=6, len=6}
6933        {tok=END, sz=0, len=0}]
6934      fmtStk = [
6935        (VBOX, 20)
6936        (HOVBOX, 20)]
6937      scanStk = [
6938        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6939        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6940        (-1, {tok=TEXT "", sz=-1, len=0})]
6941    END
6942    *** string: BEGIN
6943      width     =  20
6944      curIndent =   0, curDepth =   2
6945      leftTot   =  49, rightTot =  49
6946      spaceLeft =  20
6947      queue = []
6948      fmtStk = [
6949        (VBOX, 20)
6950        (HOVBOX, 20)]
6951      scanStk = [
6952        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6953        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6954        (-1, {tok=TEXT "", sz=-1, len=0})]
6955    END
6956    *** newline: BEGIN
6957      width     =  20
6958      curIndent =   0, curDepth =   2
6959      leftTot   =  55, rightTot =  55
6960      spaceLeft =  14
6961      queue = []
6962      fmtStk = [
6963        (VBOX, 20)
6964        (HOVBOX, 20)]
6965      scanStk = [
6966        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6967        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6968        (-1, {tok=TEXT "", sz=-1, len=0})]
6969    END
6970    *** string: BEGIN
6971      width     =  20
6972      curIndent =   0, curDepth =   2
6973      leftTot   =  55, rightTot =  55
6974      spaceLeft =  20
6975      queue = []
6976      fmtStk = [
6977        (VBOX, 20)
6978        (HOVBOX, 20)]
6979      scanStk = [
6980        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6981        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6982        (-1, {tok=TEXT "", sz=-1, len=0})]
6983    END
6984    *** newline: BEGIN
6985      width     =  20
6986      curIndent =   0, curDepth =   2
6987      leftTot   =  62, rightTot =  62
6988      spaceLeft =  13
6989      queue = []
6990      fmtStk = [
6991        (VBOX, 20)
6992        (HOVBOX, 20)]
6993      scanStk = [
6994        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
6995        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
6996        (-1, {tok=TEXT "", sz=-1, len=0})]
6997    END
6998    *** closeBox: BEGIN
6999      width     =  20
7000      curIndent =   0, curDepth =   2
7001      leftTot   =  62, rightTot =  62
7002      spaceLeft =  20
7003      queue = []
7004      fmtStk = [
7005        (VBOX, 20)
7006        (HOVBOX, 20)]
7007      scanStk = [
7008        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
7009        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7010        (-1, {tok=TEXT "", sz=-1, len=0})]
7011    END
7012    *** closeStream: BEGIN
7013      width     =  20
7014      curIndent =   0, curDepth =   1
7015      leftTot   =  62, rightTot =  62
7016      spaceLeft =  20
7017      queue = [
7018        {tok=END, sz=0, len=0}]
7019      fmtStk = [
7020        (VBOX, 20)
7021        (HOVBOX, 20)]
7022      scanStk = [
7023        (-1, {tok=TEXT "", sz=-1, len=0})]
7024    END
7025    *** openHBox: BEGIN
7026      width     =  20
7027      curIndent =   0, curDepth =   1
7028      leftTot   =   1, rightTot =   1
7029      spaceLeft =  20
7030      queue = [
7031        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}]
7032      fmtStk = []
7033      scanStk = [
7034        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7035        (-1, {tok=TEXT "", sz=-1, len=0})]
7036    END
7037    *** string: BEGIN
7038      width     =  20
7039      curIndent =   0, curDepth =   2
7040      leftTot   =   1, rightTot =   1
7041      spaceLeft =  20
7042      queue = [
7043        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
7044        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}]
7045      fmtStk = []
7046      scanStk = [
7047        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
7048        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7049        (-1, {tok=TEXT "", sz=-1, len=0})]
7050    END
7051    *** space: BEGIN
7052      width     =  20
7053      curIndent =   0, curDepth =   2
7054      leftTot   =   1, rightTot =   3
7055      spaceLeft =  20
7056      queue = [
7057        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
7058        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
7059        {tok=TEXT "if", sz=2, len=2}]
7060      fmtStk = []
7061      scanStk = [
7062        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
7063        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7064        (-1, {tok=TEXT "", sz=-1, len=0})]
7065    END
7066    *** string: BEGIN
7067      width     =  20
7068      curIndent =   0, curDepth =   2
7069      leftTot   =   1, rightTot =   4
7070      spaceLeft =  20
7071      queue = [
7072        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
7073        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
7074        {tok=TEXT "if", sz=2, len=2}
7075        {tok=BREAK{nsp=1, offset=0}, sz=-3, len=1}]
7076      fmtStk = []
7077      scanStk = [
7078        (4, {tok=BREAK{nsp=1, offset=0}, sz=-3, len=1})
7079        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
7080        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7081        (-1, {tok=TEXT "", sz=-1, len=0})]
7082    END
7083    *** space: BEGIN
7084      width     =  20
7085      curIndent =   0, curDepth =   2
7086      leftTot   =   1, rightTot =  11
7087      spaceLeft =  20
7088      queue = [
7089        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
7090        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
7091        {tok=TEXT "if", sz=2, len=2}
7092        {tok=BREAK{nsp=1, offset=0}, sz=-3, len=1}
7093        {tok=TEXT "(x < y)", sz=7, len=7}]
7094      fmtStk = []
7095      scanStk = [
7096        (4, {tok=BREAK{nsp=1, offset=0}, sz=-3, len=1})
7097        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
7098        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7099        (-1, {tok=TEXT "", sz=-1, len=0})]
7100    END
7101    *** string: BEGIN
7102      width     =  20
7103      curIndent =   0, curDepth =   2
7104      leftTot   =   1, rightTot =  12
7105      spaceLeft =  20
7106      queue = [
7107        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
7108        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
7109        {tok=TEXT "if", sz=2, len=2}
7110        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
7111        {tok=TEXT "(x < y)", sz=7, len=7}
7112        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}]
7113      fmtStk = []
7114      scanStk = [
7115        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
7116        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
7117        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7118        (-1, {tok=TEXT "", sz=-1, len=0})]
7119    END
7120    *** openHVBox: BEGIN
7121      width     =  20
7122      curIndent =   0, curDepth =   2
7123      leftTot   =   1, rightTot =  13
7124      spaceLeft =  20
7125      queue = [
7126        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
7127        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
7128        {tok=TEXT "if", sz=2, len=2}
7129        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
7130        {tok=TEXT "(x < y)", sz=7, len=7}
7131        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
7132        {tok=TEXT "{", sz=1, len=1}]
7133      fmtStk = []
7134      scanStk = [
7135        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
7136        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
7137        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7138        (-1, {tok=TEXT "", sz=-1, len=0})]
7139    END
7140    *** space: BEGIN
7141      width     =  20
7142      curIndent =   0, curDepth =   3
7143      leftTot   =   1, rightTot =  13
7144      spaceLeft =  20
7145      queue = [
7146        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
7147        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
7148        {tok=TEXT "if", sz=2, len=2}
7149        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
7150        {tok=TEXT "(x < y)", sz=7, len=7}
7151        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
7152        {tok=TEXT "{", sz=1, len=1}
7153        {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0}]
7154      fmtStk = []
7155      scanStk = [
7156        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
7157        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
7158        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
7159        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7160        (-1, {tok=TEXT "", sz=-1, len=0})]
7161    END
7162    *** string: BEGIN
7163      width     =  20
7164      curIndent =   0, curDepth =   3
7165      leftTot   =   1, rightTot =  14
7166      spaceLeft =  20
7167      queue = [
7168        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
7169        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
7170        {tok=TEXT "if", sz=2, len=2}
7171        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
7172        {tok=TEXT "(x < y)", sz=7, len=7}
7173        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
7174        {tok=TEXT "{", sz=1, len=1}
7175        {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0}
7176        {tok=BREAK{nsp=1, offset=0}, sz=-13, len=1}]
7177      fmtStk = []
7178      scanStk = [
7179        (14, {tok=BREAK{nsp=1, offset=0}, sz=-13, len=1})
7180        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
7181        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
7182        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
7183        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7184        (-1, {tok=TEXT "", sz=-1, len=0})]
7185    END
7186    *** space: BEGIN
7187      width     =  20
7188      curIndent =   0, curDepth =   3
7189      leftTot   =   1, rightTot =  20
7190      spaceLeft =  20
7191      queue = [
7192        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
7193        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
7194        {tok=TEXT "if", sz=2, len=2}
7195        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
7196        {tok=TEXT "(x < y)", sz=7, len=7}
7197        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
7198        {tok=TEXT "{", sz=1, len=1}
7199        {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0}
7200        {tok=BREAK{nsp=1, offset=0}, sz=-13, len=1}
7201        {tok=TEXT "stmt1;", sz=6, len=6}]
7202      fmtStk = []
7203      scanStk = [
7204        (14, {tok=BREAK{nsp=1, offset=0}, sz=-13, len=1})
7205        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
7206        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
7207        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
7208        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7209        (-1, {tok=TEXT "", sz=-1, len=0})]
7210    END
7211    *** openHBox: BEGIN
7212      width     =  20
7213      curIndent =   0, curDepth =   3
7214      leftTot   =   1, rightTot =  21
7215      spaceLeft =  20
7216      queue = [
7217        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
7218        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
7219        {tok=TEXT "if", sz=2, len=2}
7220        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
7221        {tok=TEXT "(x < y)", sz=7, len=7}
7222        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
7223        {tok=TEXT "{", sz=1, len=1}
7224        {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0}
7225        {tok=BREAK{nsp=1, offset=0}, sz=8, len=1}
7226        {tok=TEXT "stmt1;", sz=6, len=6}
7227        {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1}]
7228      fmtStk = []
7229      scanStk = [
7230        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
7231        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
7232        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
7233        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
7234        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7235        (-1, {tok=TEXT "", sz=-1, len=0})]
7236    END
7237    *** string: BEGIN
7238      width     =  20
7239      curIndent =   0, curDepth =   4
7240      leftTot   =   1, rightTot =  21
7241      spaceLeft =  20
7242      queue = [
7243        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
7244        {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0}
7245        {tok=TEXT "if", sz=2, len=2}
7246        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
7247        {tok=TEXT "(x < y)", sz=7, len=7}
7248        {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1}
7249        {tok=TEXT "{", sz=1, len=1}
7250        {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0}
7251        {tok=BREAK{nsp=1, offset=0}, sz=8, len=1}
7252        {tok=TEXT "stmt1;", sz=6, len=6}
7253        {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1}
7254        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}]
7255      fmtStk = []
7256      scanStk = [
7257        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
7258        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
7259        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
7260        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
7261        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
7262        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7263        (-1, {tok=TEXT "", sz=-1, len=0})]
7264    END
7265    *** space: BEGIN
7266      width     =  20
7267      curIndent =   4, curDepth =   4
7268      leftTot   =  20, rightTot =  23
7269      spaceLeft =  10
7270      queue = [
7271        {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1}
7272        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
7273        {tok=TEXT "if", sz=2, len=2}]
7274      fmtStk = [
7275        (HVBOX, 16)
7276        (HBOX, 20)
7277        (HOVBOX, 20)]
7278      scanStk = [
7279        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
7280        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
7281        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
7282        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
7283        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
7284        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7285        (-1, {tok=TEXT "", sz=-1, len=0})]
7286    END
7287    *** string: BEGIN
7288      width     =  20
7289      curIndent =   4, curDepth =   4
7290      leftTot   =  20, rightTot =  24
7291      spaceLeft =  10
7292      queue = [
7293        {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1}
7294        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
7295        {tok=TEXT "if", sz=2, len=2}
7296        {tok=BREAK{nsp=1, offset=0}, sz=-23, len=1}]
7297      fmtStk = [
7298        (HVBOX, 16)
7299        (HBOX, 20)
7300        (HOVBOX, 20)]
7301      scanStk = [
7302        (24, {tok=BREAK{nsp=1, offset=0}, sz=-23, len=1})
7303        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
7304        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
7305        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
7306        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
7307        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
7308        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7309        (-1, {tok=TEXT "", sz=-1, len=0})]
7310    END
7311    *** space: BEGIN
7312      width     =  20
7313      curIndent =   4, curDepth =   4
7314      leftTot   =  21, rightTot =  31
7315      spaceLeft =  16
7316      queue = [
7317        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
7318        {tok=TEXT "if", sz=2, len=2}
7319        {tok=BREAK{nsp=1, offset=0}, sz=-23, len=1}
7320        {tok=TEXT "(w < z)", sz=7, len=7}]
7321      fmtStk = [
7322        (HVBOX, 16)
7323        (HBOX, 20)
7324        (HOVBOX, 20)]
7325      scanStk = [
7326        (24, {tok=BREAK{nsp=1, offset=0}, sz=-23, len=1})
7327        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
7328        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
7329        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
7330        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
7331        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
7332        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7333        (-1, {tok=TEXT "", sz=-1, len=0})]
7334    END
7335    *** string: BEGIN
7336      width     =  20
7337      curIndent =   4, curDepth =   4
7338      leftTot   =  21, rightTot =  32
7339      spaceLeft =  16
7340      queue = [
7341        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
7342        {tok=TEXT "if", sz=2, len=2}
7343        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
7344        {tok=TEXT "(w < z)", sz=7, len=7}
7345        {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1}]
7346      fmtStk = [
7347        (HVBOX, 16)
7348        (HBOX, 20)
7349        (HOVBOX, 20)]
7350      scanStk = [
7351        (32, {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1})
7352        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
7353        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
7354        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
7355        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
7356        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
7357        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7358        (-1, {tok=TEXT "", sz=-1, len=0})]
7359    END
7360    *** openHVBox: BEGIN
7361      width     =  20
7362      curIndent =   4, curDepth =   4
7363      leftTot   =  21, rightTot =  33
7364      spaceLeft =  16
7365      queue = [
7366        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
7367        {tok=TEXT "if", sz=2, len=2}
7368        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
7369        {tok=TEXT "(w < z)", sz=7, len=7}
7370        {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1}
7371        {tok=TEXT "{", sz=1, len=1}]
7372      fmtStk = [
7373        (HVBOX, 16)
7374        (HBOX, 20)
7375        (HOVBOX, 20)]
7376      scanStk = [
7377        (32, {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1})
7378        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
7379        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
7380        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
7381        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
7382        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
7383        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7384        (-1, {tok=TEXT "", sz=-1, len=0})]
7385    END
7386    *** space: BEGIN
7387      width     =  20
7388      curIndent =   4, curDepth =   5
7389      leftTot   =  21, rightTot =  33
7390      spaceLeft =  16
7391      queue = [
7392        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
7393        {tok=TEXT "if", sz=2, len=2}
7394        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
7395        {tok=TEXT "(w < z)", sz=7, len=7}
7396        {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1}
7397        {tok=TEXT "{", sz=1, len=1}
7398        {tok=BEGIN(Abs 4, HVBOX), sz=-33, len=0}]
7399      fmtStk = [
7400        (HVBOX, 16)
7401        (HBOX, 20)
7402        (HOVBOX, 20)]
7403      scanStk = [
7404        (33, {tok=BEGIN(Abs 4, HVBOX), sz=-33, len=0})
7405        (32, {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1})
7406        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
7407        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
7408        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
7409        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
7410        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
7411        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7412        (-1, {tok=TEXT "", sz=-1, len=0})]
7413    END
7414    *** string: BEGIN
7415      width     =  20
7416      curIndent =   4, curDepth =   5
7417      leftTot   =  21, rightTot =  34
7418      spaceLeft =  16
7419      queue = [
7420        {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0}
7421        {tok=TEXT "if", sz=2, len=2}
7422        {tok=BREAK{nsp=1, offset=0}, sz=9, len=1}
7423        {tok=TEXT "(w < z)", sz=7, len=7}
7424        {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1}
7425        {tok=TEXT "{", sz=1, len=1}
7426        {tok=BEGIN(Abs 4, HVBOX), sz=-33, len=0}
7427        {tok=BREAK{nsp=1, offset=0}, sz=-33, len=1}]
7428      fmtStk = [
7429        (HVBOX, 16)
7430        (HBOX, 20)
7431        (HOVBOX, 20)]
7432      scanStk = [
7433        (34, {tok=BREAK{nsp=1, offset=0}, sz=-33, len=1})
7434        (33, {tok=BEGIN(Abs 4, HVBOX), sz=-33, len=0})
7435        (32, {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1})
7436        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
7437        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
7438        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
7439        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
7440        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
7441        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7442        (-1, {tok=TEXT "", sz=-1, len=0})]
7443    END
7444    *** space: BEGIN
7445      width     =  20
7446      curIndent =   8, curDepth =   5
7447      leftTot   =  40, rightTot =  40
7448      spaceLeft =   6
7449      queue = []
7450      fmtStk = [
7451        (HVBOX, 12)
7452        (HBOX, 16)
7453        (HVBOX, 16)
7454        (HBOX, 20)
7455        (HOVBOX, 20)]
7456      scanStk = [
7457        (34, {tok=BREAK{nsp=1, offset=0}, sz=-33, len=1})
7458        (33, {tok=BEGIN(Abs 4, HVBOX), sz=-33, len=0})
7459        (32, {tok=BREAK{nsp=1, offset=0}, sz=-31, len=1})
7460        (21, {tok=BEGIN(Abs 0, HBOX), sz=-21, len=0})
7461        (21, {tok=BREAK{nsp=1, offset=0}, sz=-20, len=1})
7462        (13, {tok=BEGIN(Abs 4, HVBOX), sz=-13, len=0})
7463        (12, {tok=BREAK{nsp=1, offset=0}, sz=-11, len=1})
7464        (1, {tok=BEGIN(Abs 0, HBOX), sz=-1, len=0})
7465        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7466        (-1, {tok=TEXT "", sz=-1, len=0})]
7467    END
7468    *** string: BEGIN
7469      width     =  20
7470      curIndent =   8, curDepth =   5
7471      leftTot   =  40, rightTot =  41
7472      spaceLeft =   6
7473      queue = [
7474        {tok=BREAK{nsp=1, offset=0}, sz=-40, len=1}]
7475      fmtStk = [
7476        (HVBOX, 12)
7477        (HBOX, 16)
7478        (HVBOX, 16)
7479        (HBOX, 20)
7480        (HOVBOX, 20)]
7481      scanStk = [
7482        (41, {tok=BREAK{nsp=1, offset=0}, sz=-40, len=1})
7483        (-1, {tok=TEXT "", sz=-1, len=0})]
7484    END
7485    *** space: BEGIN
7486      width     =  20
7487      curIndent =   8, curDepth =   5
7488      leftTot   =  47, rightTot =  47
7489      spaceLeft =   6
7490      queue = []
7491      fmtStk = [
7492        (HVBOX, 12)
7493        (HBOX, 16)
7494        (HVBOX, 16)
7495        (HBOX, 20)
7496        (HOVBOX, 20)]
7497      scanStk = [
7498        (41, {tok=BREAK{nsp=1, offset=0}, sz=-40, len=1})
7499        (-1, {tok=TEXT "", sz=-1, len=0})]
7500    END
7501    *** string: BEGIN
7502      width     =  20
7503      curIndent =   8, curDepth =   5
7504      leftTot   =  47, rightTot =  48
7505      spaceLeft =   6
7506      queue = [
7507        {tok=BREAK{nsp=1, offset=0}, sz=-47, len=1}]
7508      fmtStk = [
7509        (HVBOX, 12)
7510        (HBOX, 16)
7511        (HVBOX, 16)
7512        (HBOX, 20)
7513        (HOVBOX, 20)]
7514      scanStk = [
7515        (48, {tok=BREAK{nsp=1, offset=0}, sz=-47, len=1})
7516        (-1, {tok=TEXT "", sz=-1, len=0})]
7517    END
7518    *** closeBox: BEGIN
7519      width     =  20
7520      curIndent =   8, curDepth =   5
7521      leftTot   =  54, rightTot =  54
7522      spaceLeft =   6
7523      queue = []
7524      fmtStk = [
7525        (HVBOX, 12)
7526        (HBOX, 16)
7527        (HVBOX, 16)
7528        (HBOX, 20)
7529        (HOVBOX, 20)]
7530      scanStk = [
7531        (48, {tok=BREAK{nsp=1, offset=0}, sz=-47, len=1})
7532        (-1, {tok=TEXT "", sz=-1, len=0})]
7533    END
7534    *** newline: BEGIN
7535      width     =  20
7536      curIndent =   8, curDepth =   4
7537      leftTot   =  54, rightTot =  54
7538      spaceLeft =   6
7539      queue = [
7540        {tok=END, sz=0, len=0}]
7541      fmtStk = [
7542        (HVBOX, 12)
7543        (HBOX, 16)
7544        (HVBOX, 16)
7545        (HBOX, 20)
7546        (HOVBOX, 20)]
7547      scanStk = [
7548        (-1, {tok=TEXT "", sz=-1, len=0})]
7549    END
7550    *** string: BEGIN
7551      width     =  20
7552      curIndent =   4, curDepth =   4
7553      leftTot   =  54, rightTot =  54
7554      spaceLeft =  16
7555      queue = []
7556      fmtStk = [
7557        (HBOX, 16)
7558        (HVBOX, 16)
7559        (HBOX, 20)
7560        (HOVBOX, 20)]
7561      scanStk = [
7562        (-1, {tok=TEXT "", sz=-1, len=0})]
7563    END
7564    *** closeBox: BEGIN
7565      width     =  20
7566      curIndent =   4, curDepth =   4
7567      leftTot   =  55, rightTot =  55
7568      spaceLeft =  15
7569      queue = []
7570      fmtStk = [
7571        (HBOX, 16)
7572        (HVBOX, 16)
7573        (HBOX, 20)
7574        (HOVBOX, 20)]
7575      scanStk = [
7576        (-1, {tok=TEXT "", sz=-1, len=0})]
7577    END
7578    *** space: BEGIN
7579      width     =  20
7580      curIndent =   4, curDepth =   3
7581      leftTot   =  55, rightTot =  55
7582      spaceLeft =  15
7583      queue = [
7584        {tok=END, sz=0, len=0}]
7585      fmtStk = [
7586        (HBOX, 16)
7587        (HVBOX, 16)
7588        (HBOX, 20)
7589        (HOVBOX, 20)]
7590      scanStk = [
7591        (-1, {tok=TEXT "", sz=-1, len=0})]
7592    END
7593    *** string: BEGIN
7594      width     =  20
7595      curIndent =   4, curDepth =   3
7596      leftTot   =  55, rightTot =  56
7597      spaceLeft =  15
7598      queue = [
7599        {tok=END, sz=0, len=0}
7600        {tok=BREAK{nsp=1, offset=0}, sz=-55, len=1}]
7601      fmtStk = [
7602        (HBOX, 16)
7603        (HVBOX, 16)
7604        (HBOX, 20)
7605        (HOVBOX, 20)]
7606      scanStk = [
7607        (56, {tok=BREAK{nsp=1, offset=0}, sz=-55, len=1})
7608        (-1, {tok=TEXT "", sz=-1, len=0})]
7609    END
7610    *** space: BEGIN
7611      width     =  20
7612      curIndent =   4, curDepth =   3
7613      leftTot   =  55, rightTot =  62
7614      spaceLeft =  15
7615      queue = [
7616        {tok=BREAK{nsp=1, offset=0}, sz=-55, len=1}
7617        {tok=TEXT "stmt5;", sz=6, len=6}]
7618      fmtStk = [
7619        (HVBOX, 16)
7620        (HBOX, 20)
7621        (HOVBOX, 20)]
7622      scanStk = [
7623        (56, {tok=BREAK{nsp=1, offset=0}, sz=-55, len=1})
7624        (-1, {tok=TEXT "", sz=-1, len=0})]
7625    END
7626    *** string: BEGIN
7627      width     =  20
7628      curIndent =   4, curDepth =   3
7629      leftTot   =  55, rightTot =  63
7630      spaceLeft =  15
7631      queue = [
7632        {tok=BREAK{nsp=1, offset=0}, sz=8, len=1}
7633        {tok=TEXT "stmt5;", sz=6, len=6}
7634        {tok=BREAK{nsp=1, offset=0}, sz=-62, len=1}]
7635      fmtStk = [
7636        (HVBOX, 16)
7637        (HBOX, 20)
7638        (HOVBOX, 20)]
7639      scanStk = [
7640        (63, {tok=BREAK{nsp=1, offset=0}, sz=-62, len=1})
7641        (-1, {tok=TEXT "", sz=-1, len=0})]
7642    END
7643    *** closeBox: BEGIN
7644      width     =  20
7645      curIndent =   4, curDepth =   3
7646      leftTot   =  62, rightTot =  69
7647      spaceLeft =  10
7648      queue = [
7649        {tok=BREAK{nsp=1, offset=0}, sz=-62, len=1}
7650        {tok=TEXT "stmt6;", sz=6, len=6}]
7651      fmtStk = [
7652        (HVBOX, 16)
7653        (HBOX, 20)
7654        (HOVBOX, 20)]
7655      scanStk = [
7656        (63, {tok=BREAK{nsp=1, offset=0}, sz=-62, len=1})
7657        (-1, {tok=TEXT "", sz=-1, len=0})]
7658    END
7659    *** newline: BEGIN
7660      width     =  20
7661      curIndent =   4, curDepth =   2
7662      leftTot   =  62, rightTot =  69
7663      spaceLeft =  10
7664      queue = [
7665        {tok=BREAK{nsp=1, offset=0}, sz=7, len=1}
7666        {tok=TEXT "stmt6;", sz=6, len=6}
7667        {tok=END, sz=0, len=0}]
7668      fmtStk = [
7669        (HVBOX, 16)
7670        (HBOX, 20)
7671        (HOVBOX, 20)]
7672      scanStk = [
7673        (-1, {tok=TEXT "", sz=-1, len=0})]
7674    END
7675    *** string: BEGIN
7676      width     =  20
7677      curIndent =   0, curDepth =   2
7678      leftTot   =  69, rightTot =  69
7679      spaceLeft =  20
7680      queue = []
7681      fmtStk = [
7682        (HBOX, 20)
7683        (HOVBOX, 20)]
7684      scanStk = [
7685        (-1, {tok=TEXT "", sz=-1, len=0})]
7686    END
7687    *** closeBox: BEGIN
7688      width     =  20
7689      curIndent =   0, curDepth =   2
7690      leftTot   =  70, rightTot =  70
7691      spaceLeft =  19
7692      queue = []
7693      fmtStk = [
7694        (HBOX, 20)
7695        (HOVBOX, 20)]
7696      scanStk = [
7697        (-1, {tok=TEXT "", sz=-1, len=0})]
7698    END
7699    *** closeStream: BEGIN
7700      width     =  20
7701      curIndent =   0, curDepth =   1
7702      leftTot   =  70, rightTot =  70
7703      spaceLeft =  19
7704      queue = [
7705        {tok=END, sz=0, len=0}]
7706      fmtStk = [
7707        (HBOX, 20)
7708        (HOVBOX, 20)]
7709      scanStk = [
7710        (-1, {tok=TEXT "", sz=-1, len=0})]
7711    END
7712    *** openVBox: BEGIN
7713      width     =  20
7714      curIndent =   0, curDepth =   1
7715      leftTot   =   1, rightTot =   1
7716      spaceLeft =  20
7717      queue = [
7718        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}]
7719      fmtStk = []
7720      scanStk = [
7721        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7722        (-1, {tok=TEXT "", sz=-1, len=0})]
7723    END
7724    *** string: BEGIN
7725      width     =  20
7726      curIndent =   0, curDepth =   2
7727      leftTot   =   1, rightTot =   1
7728      spaceLeft =  20
7729      queue = [
7730        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
7731        {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0}]
7732      fmtStk = []
7733      scanStk = [
7734        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
7735        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7736        (-1, {tok=TEXT "", sz=-1, len=0})]
7737    END
7738    *** newline: BEGIN
7739      width     =  20
7740      curIndent =   0, curDepth =   2
7741      leftTot   =   1, rightTot =  10
7742      spaceLeft =  20
7743      queue = [
7744        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
7745        {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0}
7746        {tok=TEXT "0: line 1", sz=9, len=9}]
7747      fmtStk = []
7748      scanStk = [
7749        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
7750        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7751        (-1, {tok=TEXT "", sz=-1, len=0})]
7752    END
7753    *** string: BEGIN
7754      width     =  20
7755      curIndent =   0, curDepth =   2
7756      leftTot   =   1, rightTot =  10
7757      spaceLeft =  20
7758      queue = [
7759        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
7760        {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0}
7761        {tok=TEXT "0: line 1", sz=9, len=9}
7762        {tok=NL, sz=0, len=0}]
7763      fmtStk = []
7764      scanStk = [
7765        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
7766        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7767        (-1, {tok=TEXT "", sz=-1, len=0})]
7768    END
7769    *** newline: BEGIN
7770      width     =  20
7771      curIndent =   0, curDepth =   2
7772      leftTot   =   1, rightTot =  19
7773      spaceLeft =  20
7774      queue = [
7775        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
7776        {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0}
7777        {tok=TEXT "0: line 1", sz=9, len=9}
7778        {tok=NL, sz=0, len=0}
7779        {tok=TEXT "0: line 2", sz=9, len=9}]
7780      fmtStk = []
7781      scanStk = [
7782        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
7783        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7784        (-1, {tok=TEXT "", sz=-1, len=0})]
7785    END
7786    *** openVBox: BEGIN
7787      width     =  20
7788      curIndent =   0, curDepth =   2
7789      leftTot   =   1, rightTot =  19
7790      spaceLeft =  20
7791      queue = [
7792        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
7793        {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0}
7794        {tok=TEXT "0: line 1", sz=9, len=9}
7795        {tok=NL, sz=0, len=0}
7796        {tok=TEXT "0: line 2", sz=9, len=9}
7797        {tok=NL, sz=0, len=0}]
7798      fmtStk = []
7799      scanStk = [
7800        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
7801        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7802        (-1, {tok=TEXT "", sz=-1, len=0})]
7803    END
7804    *** string: BEGIN
7805      width     =  20
7806      curIndent =   0, curDepth =   3
7807      leftTot   =   1, rightTot =  19
7808      spaceLeft =  20
7809      queue = [
7810        {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0}
7811        {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0}
7812        {tok=TEXT "0: line 1", sz=9, len=9}
7813        {tok=NL, sz=0, len=0}
7814        {tok=TEXT "0: line 2", sz=9, len=9}
7815        {tok=NL, sz=0, len=0}
7816        {tok=BEGIN(Abs 2, VBOX), sz=-19, len=0}]
7817      fmtStk = []
7818      scanStk = [
7819        (19, {tok=BEGIN(Abs 2, VBOX), sz=-19, len=0})
7820        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
7821        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7822        (-1, {tok=TEXT "", sz=-1, len=0})]
7823    END
7824    *** newline: BEGIN
7825      width     =  20
7826      curIndent =   0, curDepth =   3
7827      leftTot   =  19, rightTot =  28
7828      spaceLeft =  20
7829      queue = [
7830        {tok=BEGIN(Abs 2, VBOX), sz=-19, len=0}
7831        {tok=TEXT "2: line 3", sz=9, len=9}]
7832      fmtStk = [
7833        (VBOX, 20)
7834        (HOVBOX, 20)]
7835      scanStk = [
7836        (19, {tok=BEGIN(Abs 2, VBOX), sz=-19, len=0})
7837        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
7838        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7839        (-1, {tok=TEXT "", sz=-1, len=0})]
7840    END
7841    *** string: BEGIN
7842      width     =  20
7843      curIndent =   0, curDepth =   3
7844      leftTot   =  19, rightTot =  28
7845      spaceLeft =  20
7846      queue = [
7847        {tok=BEGIN(Abs 2, VBOX), sz=-19, len=0}
7848        {tok=TEXT "2: line 3", sz=9, len=9}
7849        {tok=NL, sz=0, len=0}]
7850      fmtStk = [
7851        (VBOX, 20)
7852        (HOVBOX, 20)]
7853      scanStk = [
7854        (19, {tok=BEGIN(Abs 2, VBOX), sz=-19, len=0})
7855        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
7856        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7857        (-1, {tok=TEXT "", sz=-1, len=0})]
7858    END
7859    *** closeBox: BEGIN
7860      width     =  20
7861      curIndent =   0, curDepth =   3
7862      leftTot   =  19, rightTot =  37
7863      spaceLeft =  20
7864      queue = [
7865        {tok=BEGIN(Abs 2, VBOX), sz=-19, len=0}
7866        {tok=TEXT "2: line 3", sz=9, len=9}
7867        {tok=NL, sz=0, len=0}
7868        {tok=TEXT "2: line 4", sz=9, len=9}]
7869      fmtStk = [
7870        (VBOX, 20)
7871        (HOVBOX, 20)]
7872      scanStk = [
7873        (19, {tok=BEGIN(Abs 2, VBOX), sz=-19, len=0})
7874        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
7875        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7876        (-1, {tok=TEXT "", sz=-1, len=0})]
7877    END
7878    *** newline: BEGIN
7879      width     =  20
7880      curIndent =   0, curDepth =   2
7881      leftTot   =  19, rightTot =  37
7882      spaceLeft =  20
7883      queue = [
7884        {tok=BEGIN(Abs 2, VBOX), sz=18, len=0}
7885        {tok=TEXT "2: line 3", sz=9, len=9}
7886        {tok=NL, sz=0, len=0}
7887        {tok=TEXT "2: line 4", sz=9, len=9}
7888        {tok=END, sz=0, len=0}]
7889      fmtStk = [
7890        (VBOX, 20)
7891        (HOVBOX, 20)]
7892      scanStk = [
7893        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
7894        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7895        (-1, {tok=TEXT "", sz=-1, len=0})]
7896    END
7897    *** string: BEGIN
7898      width     =  20
7899      curIndent =   0, curDepth =   2
7900      leftTot   =  37, rightTot =  37
7901      spaceLeft =  20
7902      queue = []
7903      fmtStk = [
7904        (VBOX, 20)
7905        (HOVBOX, 20)]
7906      scanStk = [
7907        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
7908        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7909        (-1, {tok=TEXT "", sz=-1, len=0})]
7910    END
7911    *** newline: BEGIN
7912      width     =  20
7913      curIndent =   0, curDepth =   2
7914      leftTot   =  46, rightTot =  46
7915      spaceLeft =  11
7916      queue = []
7917      fmtStk = [
7918        (VBOX, 20)
7919        (HOVBOX, 20)]
7920      scanStk = [
7921        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
7922        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7923        (-1, {tok=TEXT "", sz=-1, len=0})]
7924    END
7925    *** string: BEGIN
7926      width     =  20
7927      curIndent =   0, curDepth =   2
7928      leftTot   =  46, rightTot =  46
7929      spaceLeft =  20
7930      queue = []
7931      fmtStk = [
7932        (VBOX, 20)
7933        (HOVBOX, 20)]
7934      scanStk = [
7935        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
7936        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7937        (-1, {tok=TEXT "", sz=-1, len=0})]
7938    END
7939    *** newline: BEGIN
7940      width     =  20
7941      curIndent =   0, curDepth =   2
7942      leftTot   =  55, rightTot =  55
7943      spaceLeft =  11
7944      queue = []
7945      fmtStk = [
7946        (VBOX, 20)
7947        (HOVBOX, 20)]
7948      scanStk = [
7949        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
7950        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7951        (-1, {tok=TEXT "", sz=-1, len=0})]
7952    END
7953    *** openVBox: BEGIN
7954      width     =  20
7955      curIndent =   0, curDepth =   2
7956      leftTot   =  55, rightTot =  55
7957      spaceLeft =  20
7958      queue = []
7959      fmtStk = [
7960        (VBOX, 20)
7961        (HOVBOX, 20)]
7962      scanStk = [
7963        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
7964        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7965        (-1, {tok=TEXT "", sz=-1, len=0})]
7966    END
7967    *** string: BEGIN
7968      width     =  20
7969      curIndent =   0, curDepth =   3
7970      leftTot   =  55, rightTot =  55
7971      spaceLeft =  20
7972      queue = [
7973        {tok=BEGIN(Abs 4, VBOX), sz=-55, len=0}]
7974      fmtStk = [
7975        (VBOX, 20)
7976        (HOVBOX, 20)]
7977      scanStk = [
7978        (55, {tok=BEGIN(Abs 4, VBOX), sz=-55, len=0})
7979        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
7980        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7981        (-1, {tok=TEXT "", sz=-1, len=0})]
7982    END
7983    *** newline: BEGIN
7984      width     =  20
7985      curIndent =   0, curDepth =   3
7986      leftTot   =  55, rightTot =  64
7987      spaceLeft =  20
7988      queue = [
7989        {tok=BEGIN(Abs 4, VBOX), sz=-55, len=0}
7990        {tok=TEXT "4: line 7", sz=9, len=9}]
7991      fmtStk = [
7992        (VBOX, 20)
7993        (HOVBOX, 20)]
7994      scanStk = [
7995        (55, {tok=BEGIN(Abs 4, VBOX), sz=-55, len=0})
7996        (1, {tok=BEGIN(Abs 0, VBOX), sz=-1, len=0})
7997        (1, {tok=BEGIN(Rel 0, HOVBOX), sz=-1, len=0})
7998        (-1, {tok=TEXT "", sz=-1, len=0})]
7999    END
8000    *** string: BEGIN
8001      width     =  20
8002      curIndent =   0, curDepth =   3
8003      leftTot   =  55, rightTot =  64
8004      spaceLeft =  20
8005      queue = [
8006        {tok=BEGIN(Abs 4, VBOX), sz=-55, len=0}
8007        {tok=TEXT "4: line 7", sz=9, len=9}
8008        {tok=NL, sz=0, len=0}]