Can't `unphi` normalized programs

deemp commented 3 weeks ago

@yegor256, @maxonfjvipon

Problem

I converted a EO program (link) to a PHI program, normalized the PHI program, tried to convert the normalized PHI program to EO and got an error.

Possibly related issue - https://github.com/objectionary/eoc/issues/293

Programs

N.B. programs come from the pipeline artifact (link) produced in the objectionary/normalizer repo (link).

as-phi-tests.eo

pipeline/eo-initial/as-phi-tests.eo - initial EO program:

+alias org.eolang.io.stdout
+architect yegor256@gmail.com
+home https://github.com/objectionary/eo
+tests
+package org.eolang
+version 0.0.0

# Test.
[] > prints-itself
  gt. > @
    length.
      as-phi $
    0

# Test.
[] > prints-itself-to-console
  42 > x
  stdout > @
    as-phi $

pipeline/phi-initial/as-phi-tests.phi - non-normalized PHI program:

{
  ⟦
    org ↦ ⟦
      eolang ↦ ⟦
        prints-itself ↦ ⟦
          φ ↦ Φ.org.eolang.as-phi(
            α0 ↦ ξ
          ).length.gt(
            α0 ↦ Φ.org.eolang.int(
              α0 ↦ Φ.org.eolang.bytes(
                Δ ⤍ 00-00-00-00-00-00-00-00
              )
            )
          )
        ⟧,
        prints-itself-to-console ↦ ⟦
          x ↦ Φ.org.eolang.int(
            α0 ↦ Φ.org.eolang.bytes(
              Δ ⤍ 00-00-00-00-00-00-00-2A
            )
          ),
          φ ↦ Φ.org.eolang.io.stdout(
            α0 ↦ Φ.org.eolang.as-phi(
              α0 ↦ ξ
            )
          )
        ⟧,
        λ ⤍ Package
      ⟧,
      λ ⤍ Package
    ⟧
  ⟧
}

pipeline/phi-normalized/as-phi-tests.phi - normalized PHI program:

(original)

{ ⟦ org ↦ ⟦ eolang ↦ ⟦ prints-itself ↦ Φ.org.eolang.as-phi (α0 ↦ ξ).length.gt (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-00))), prints-itself-to-console ↦ Φ.org.eolang.io.stdout (α0 ↦ Φ.org.eolang.as-phi (α0 ↦ ξ)), λ ⤍ Package ⟧, λ ⤍ Package ⟧, λ ⤍ Package ⟧ }

(formatted):

{
  ⟦
    org ↦ ⟦
      eolang ↦ ⟦
        prints-itself ↦
          Φ.org.eolang.as-phi(α0 ↦ ξ).length.gt(
            α0 ↦ Φ.org.eolang.int(
              α0 ↦ Φ.org.eolang.bytes(Δ ⤍ 00-00-00-00-00-00-00-00)
            )
          ),
        prints-itself-to-console ↦ Φ.org.eolang.io.stdout(
          α0 ↦ Φ.org.eolang.as-phi (α0 ↦ ξ)
        ),
        λ ⤍ Package
      ⟧,
      λ ⤍ Package
    ⟧,
    λ ⤍ Package
  ⟧
}

Command

eoc unphi --tests

Error

[ERROR] java.util.EmptyStackExceptionted so far...
[ERROR] Failed to execute goal org.eolang:eo-maven-plugin:0.38.0:phi-to-xmir (default-cli) on project eoc: 'org.eolang.maven.UnphiMojo@5f95f1e1' execution failed: java.io.UncheckedIOException: java.io.IOException: java.util.concurrent.ExecutionException: java.util.EmptyStackException -> [Help 1]
[ERROR] 
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR] 
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
The command "/home/eyjafjallajokull/Desktop/gh/normalizer/node_modules/eolang/mvnw/mvnw eo:phi-to-xmir -Deo.version=0.38.0 -Deo.tag=0.38.0 --quiet -Deo.sourcesDir=/home/eyjafjallajokull/Desktop/gh/normalizer/pipeline/phi-normalized -Deo.targetDir=/home/eyjafjallajokull/Desktop/gh/normalizer/pipeline/phi-normalized/.eoc -Deo.outputDir=/home/eyjafjallajokull/Desktop/gh/normalizer/pipeline/phi-normalized/.eoc/classes -Deo.generatedDir=/home/eyjafjallajokull/Desktop/gh/normalizer/pipeline/phi-normalized/.eoc/generated-sources -Deo.placed=/home/eyjafjallajokull/Desktop/gh/normalizer/pipeline/phi-normalized/.eoc/eo-placed.csv -Deo.placedFormat=csv -Deo.unphiInputDir=/home/eyjafjallajokull/Desktop/gh/normalizer/pipeline/phi-normalized/.eoc/phi -Deo.unphiOutputDir=/home/eyjafjallajokull/Desktop/gh/normalizer/pipeline/phi-normalized/.eoc/unphi -Deo.unphiMetas=+tests --batch-mode --color=never --update-snapshots --fail-fast --strict-checksums" exited with #1 code

Questions

How to correctly convert PHI program with tests to EO? I'd like to get answers for the following cases:

Case 1 - Initially, there are no eoc-specific directories. There's a file as-phi-tests.phi with the same content as pipeline/phi-normalized/as-phi-tests.phi.
Case 2 - Initially, there's as-phi-tests.phi with the same content as pipeline/phi-normalized/as-phi-tests.phi and there's a .eoc produced by another eoc operation, e.g., eoc phi. I want to reuse this .eoc to run a script faster.

github-actions[bot] commented 3 weeks ago

@deemp thanks for the report, here is a feedback:

Problems

Ambiguous Title: The bug report title "Can't 'unphi' a normalized program" is unclear and doesn't provide immediate understanding of the problem.
Insufficient Background Information: The bug report lacks details about the environment where the issue occurred, such as operating system, software version, language, etc.
Lack of Steps to Reproduce: The report doesn't provide clear steps to reproduce the issue. Although the faulty command is provided, the preceding actions are not specified.

I would recommend making the title more specific, such as "Error: EmptyStackException when running 'unphi' on a normalized program with tests".

Please fix the bug report in order it to get resolved faster. Analyzed with gpt-4

maxonfjvipon commented 3 weeks ago

@deemp I strongly believe that:

prints-itself-to-console ↦ ⟦
  x ↦ Φ.org.eolang.int(
    α0 ↦ Φ.org.eolang.bytes(
      Δ ⤍ 00-00-00-00-00-00-00-2A
    )
  ),
  φ ↦ Φ.org.eolang.io.stdout(
    α0 ↦ Φ.org.eolang.as-phi(
      α0 ↦ ξ
    )
  )
⟧,

won't work the same way as:

prints-itself-to-console ↦ Φ.org.eolang.io.stdout(
  α0 ↦ Φ.org.eolang.as-phi (α0 ↦ ξ)
),

Because ξ refers to nearest formation. In the first example ξ refers to prints-itself-to-console, in the second it refers to eolang

maxonfjvipon commented 3 weeks ago

@deemp and it seems our phi parser is not ready for such constructions where there's no any formation inside the object with λ ⤍ Package

fizruk commented 3 weeks ago

@deemp and it seems our phi parser is not ready for such constructions where there's no any formation inside the object with λ ⤍ Package

We can drop the top-level λ ⤍ Package, it is injected for technical reasons. Is the rest fine?

maxonfjvipon commented 3 weeks ago

@fizruk I think so. Such example works fine:

{
  ⟦
    org ↦ ⟦
      eolang ↦ ⟦
        prints-itself ↦
          Φ.org.eolang.as-phi(α0 ↦ ξ).length.gt(
            α0 ↦ Φ.org.eolang.int(
              α0 ↦ Φ.org.eolang.bytes(Δ ⤍ 00-00-00-00-00-00-00-00)
            )
          ),
        prints-itself-to-console ↦ Φ.org.eolang.io.stdout(
          α0 ↦ Φ.org.eolang.as-phi (α0 ↦ ξ)
        ),
        λ ⤍ Package
      ⟧,
      λ ⤍ Package
    ⟧
  ⟧
}

deemp commented 3 weeks ago

I can't unphi these normalized programs:

malloc-tests.phi

{ ⟦ org ↦ ⟦ eolang ↦ ⟦ writes-into-memory-of ↦ ξ.mem.eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-0A))), puts-into-memory-for ↦ ξ.mem.eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-0A))), malloc-scope-is-dataized-twice ↦ ⊥, malloc-for-writes-first-init-value ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-2A)), α1 ↦ ⟦ φ ↦ Φ.org.eolang.true, m ↦ ∅ ⟧).eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-2A))), malloc-puts-over-the-previous-data ↦ ⊥, malloc-rewrites-and-increments-itself ↦ ξ.mem.eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-06))), writes-into-two-malloc-objects ↦ ξ.a.eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-0A))).and (α0 ↦ ξ.b.eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-14)))), malloc-is-strictly-sized-bool-error-overflow ↦ Φ.org.eolang.try (α0 ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.false, α1 ↦ ⟦ φ ↦ ξ.m.put (α0 ↦ Φ.org.eolang.float (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 41-94-88-A5-0F-85-1E-B8))), m ↦ ∅ ⟧), α1 ↦ ⟦ φ ↦ Φ.org.eolang.io.stdout (α0 ↦ ξ.e), e ↦ ∅ ⟧, α2 ↦ Φ.org.eolang.false), malloc-is-strictly-sized-string-error-overflow ↦ Φ.org.eolang.try (α0 ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.string (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 48-65-6C-6C-6F)), α1 ↦ ⟦ φ ↦ ξ.m.put (α0 ↦ Φ.org.eolang.string (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 4D-75-63-68-20-6C-6F-6E-67-65-72-20-73-74-72-69-6E-67-21))), m ↦ ∅ ⟧), α1 ↦ ⟦ φ ↦ Φ.org.eolang.io.stdout (α0 ↦ ξ.e), e ↦ ∅ ⟧, α2 ↦ Φ.org.eolang.false), malloc-is-strictly-sized-int ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-2F-D8)), α1 ↦ ⟦ φ ↦ ξ.m.put (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-09-FC))), m ↦ ∅ ⟧).eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-09-FC))), malloc-is-strictly-typed-float ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.float (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 40-6E-BC-28-F5-C2-8F-5C)), α1 ↦ ⟦ φ ↦ ξ.m.put (α0 ↦ Φ.org.eolang.float (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 40-54-8E-14-7A-E1-47-AE))), m ↦ ∅ ⟧).eq (α0 ↦ Φ.org.eolang.float (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 40-54-8E-14-7A-E1-47-AE))), memory-is-strictly-sized-string ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.string (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 48-65-6C-6C-6F)), α1 ↦ ⟦ φ ↦ ξ.m.put (α0 ↦ Φ.org.eolang.string (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 50-72-6F-74))), m ↦ ∅ ⟧).eq (α0 ↦ Φ.org.eolang.string (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 50-72-6F-74-6F))), malloc-is-strictly-typed-bool ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, malloc-gives-id-to-allocated-block ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, malloc-allocates-right-size-block ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, malloc-writes-and-reads ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, malloc-concacts-strings-with-offset ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, malloc-cant-write-more-than-allocated-with-offset ↦ Φ.org.eolang.try (α0 ↦ Φ.org.eolang.malloc.of (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-01)), α1 ↦ ⟦ φ ↦ ξ.m.write (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-01)), α1 ↦ Φ.org.eolang.true), m ↦ ∅ ⟧), α1 ↦ ⟦ φ ↦ Φ.org.eolang.io.stdout (α0 ↦ ξ.e), e ↦ ∅ ⟧, α2 ↦ Φ.org.eolang.false), malloc-reads-with-offset-and-length ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, λ ⤍ Package ⟧, λ ⤍ Package ⟧ ⟧ }

Error:

[ERROR] Failed to create DOM quietly: ADD "program";ATTR "name", "malloc-tests";ATTR "version", "0.38.0";ATTR "revision", "0584492";
4:ATTR "dob", "2024-05-09T18:19:28";ATTR "time", "2024-06-05T14:33:10.531994901Z";CDATA "This is XMIR - a dialect of XML, which is used to present a parsed EO program. For more information please visit https://news.eolang.org/2022-11-25-xmir-guide.html";
7:ADD "listing";SET "{ ⟦ org ↦ ⟦ eolang ↦ ⟦ writes-into-memory-of ↦ ξ.mem.eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-0A))), puts-into-memory-for ↦ ξ.mem.eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-0A))), malloc-scope-is-dataized-twice ↦ ⊥, malloc-for-writes-first-init-value ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-2A)), α1 ↦ ⟦ φ ↦ Φ.org.eolang.true, m ↦ ∅ ⟧).eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-2A))), malloc-puts-over-the-previous-data ↦ ⊥, malloc-rewrites-and-increments-itself ↦ ξ.mem.eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-06))), writes-into-two-malloc-objects ↦ ξ.a.eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-0A))).and (α0 ↦ ξ.b.eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-14)))), malloc-is-strictly-sized-bool-error-overflow ↦ Φ.org.eolang.try (α0 ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.false, α1 ↦ ⟦ φ ↦ ξ.m.put (α0 ↦ Φ.org.eolang.float (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 41-94-88-A5-0F-85-1E-B8))), m ↦ ∅ ⟧), α1 ↦ ⟦ φ ↦ Φ.org.eolang.io.stdout (α0 ↦ ξ.e), e ↦ ∅ ⟧, α2 ↦ Φ.org.eolang.false), malloc-is-strictly-sized-string-error-overflow ↦ Φ.org.eolang.try (α0 ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.string (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 48-65-6C-6C-6F)), α1 ↦ ⟦ φ ↦ ξ.m.put (α0 ↦ Φ.org.eolang.string (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 4D-75-63-68-20-6C-6F-6E-67-65-72-20-73-74-72-69-6E-67-21))), m ↦ ∅ ⟧), α1 ↦ ⟦ φ ↦ Φ.org.eolang.io.stdout (α0 ↦ ξ.e), e ↦ ∅ ⟧, α2 ↦ Φ.org.eolang.false), malloc-is-strictly-sized-int ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-2F-D8)), α1 ↦ ⟦ φ ↦ ξ.m.put (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-09-FC))), m ↦ ∅ ⟧).eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-09-FC))), malloc-is-strictly-typed-float ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.float (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 40-6E-BC-28-F5-C2-8F-5C)), α1 ↦ ⟦ φ ↦ ξ.m.put (α0 ↦ Φ.org.eolang.float (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 40-54-8E-14-7A-E1-47-AE))), m ↦ ∅ ⟧).eq (α0 ↦ Φ.org.eolang.float (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 40-54-8E-14-7A-E1-47-AE))), memory-is-strictly-sized-string ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.string (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 48-65-6C-6C-6F)), α1 ↦ ⟦ φ ↦ ξ.m.put (α0 ↦ Φ.org.eolang.string (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 50-72-6F-74))), m ↦ ∅ ⟧).eq (α0 ↦ Φ.org.eolang.string (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 50-72-6F-74-6F))), malloc-is-strictly-typed-bool ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, malloc-gives-id-to-allocated-block ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, malloc-allocates-right-size-block ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, malloc-writes-and-reads ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, malloc-concacts-strings-with-offset ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, malloc-cant-write-more-than-allocated-with-offset ↦ Φ.org.eolang.try (α0 ↦ Φ.org.eolang.malloc.of (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-01)), α1 ↦ ⟦ φ ↦ ξ.m.write (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-01)), α1 ↦ Φ.org.eolang.true), m ↦ ∅ ⟧), α1 ↦ ⟦ φ ↦ Φ.org.eolang.io.stdout (α0 ↦ ξ.e), e ↦ ∅ ⟧, α2 ↦ Φ.org.eolang.false), malloc-reads-with-offset-and-length ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, λ ⤍ Package ⟧, λ ⤍ Package ⟧ ⟧ }";
9:UP;ADD "errors";UP;ADD "sheets";UP;ADD "license";UP;ADD "metas";UP;XPATH "metas[last()]";STRICT "1";
20:ADD "meta";ADD "head";SET "package";UP;ADD "tail";SET "org.eolang";UP;ADD "part";SET "org.eolang";
29:UP;UP;UP;ADD "objects";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".mem";
39:UP;ADD "o";ATTR "method", "";ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";
48:UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";
56:UP;ADD "o";ATTR "method", "";ATTR "base", ".int";UP;XPATH "o[last()]";STRICT "1";ADD "o";
64:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
72:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";UP;XPATH "o[last()]";
79:STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "00 00 00 00 00 00 00 0A";
84:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";
94:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "writes-into-memory-of";UP;ADD "o";ATTR "base", "$";
102:UP;ADD "o";ATTR "method", "";ATTR "base", ".mem";UP;ADD "o";ATTR "method", "";ATTR "base", ".eq";
110:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";
119:UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".int";
127:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";
136:UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";
144:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
150:SET "00 00 00 00 00 00 00 0A";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
159:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "puts-into-memory-for";
166:UP;ADD "o";XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-scope-is-dataized-twice";
171:UP;ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
181:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".malloc";UP;ADD "o";ATTR "method", "";
189:ATTR "base", ".for";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
198:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
206:ATTR "base", ".int";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
215:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
223:ATTR "base", ".bytes";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
230:SET "00 00 00 00 00 00 00 2A";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
239:STRICT "1";ATTR "as", "0";UP;ADD "o";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
248:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
256:ATTR "base", ".true";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;ADD "o";UP;XPATH "o[last()]";
265:STRICT "1";ATTR "name", "m";UP;ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "1";
273:UP;UP;ADD "o";ATTR "method", "";ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";
282:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
290:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".int";UP;XPATH "o[last()]";
297:STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";
306:ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";
312:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
318:SET "00 00 00 00 00 00 00 2A";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
327:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-for-writes-first-init-value";
334:UP;ADD "o";XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-puts-over-the-previous-data";
339:UP;ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".mem";UP;ADD "o";ATTR "method", "";
349:ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
358:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
366:ATTR "base", ".int";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
375:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
383:ATTR "base", ".bytes";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
390:SET "00 00 00 00 00 00 00 06";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
399:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-rewrites-and-increments-itself";
406:UP;ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".a";UP;ADD "o";ATTR "method", "";
416:ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
425:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
433:ATTR "base", ".int";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
442:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
450:ATTR "base", ".bytes";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
457:SET "00 00 00 00 00 00 00 0A";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
466:STRICT "1";ATTR "as", "0";UP;UP;ADD "o";ATTR "method", "";ATTR "base", ".and";UP;XPATH "o[last()]";
475:STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".b";UP;ADD "o";
484:ATTR "method", "";ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";
491:UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";
499:UP;ADD "o";ATTR "method", "";ATTR "base", ".int";UP;XPATH "o[last()]";STRICT "1";ADD "o";
507:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
515:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";UP;XPATH "o[last()]";
522:STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "00 00 00 00 00 00 00 14";
527:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";
537:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "writes-into-two-malloc-objects";
547:UP;ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
557:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".try";UP;XPATH "o[last()]";
564:STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";
573:ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".malloc";
579:UP;ADD "o";ATTR "method", "";ATTR "base", ".for";UP;XPATH "o[last()]";STRICT "1";ADD "o";
587:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
595:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".false";UP;XPATH "o[last()]";
602:STRICT "1";ATTR "as", "0";UP;ADD "o";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";
611:ATTR "base", ".m";UP;ADD "o";ATTR "method", "";ATTR "base", ".put";UP;XPATH "o[last()]";
618:STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";
627:ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".float";
633:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";
642:UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";
650:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
656:SET "41 94 88 A5 0F 85 1E B8";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
665:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;ADD "o";UP;
675:XPATH "o[last()]";STRICT "1";ATTR "name", "m";UP;ATTR "abstract", "";UP;XPATH "o[last()]";
682:STRICT "1";ATTR "as", "1";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;ADD "o";ADD "o";
692:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
700:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".io";UP;ADD "o";ATTR "method", "";
708:ATTR "base", ".stdout";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";
716:ATTR "method", "";ATTR "base", ".e";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;
724:XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;ADD "o";UP;XPATH "o[last()]";STRICT "1";
732:ATTR "name", "e";UP;ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "1";UP;
740:ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
749:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".false";UP;XPATH "o[last()]";
756:STRICT "1";ATTR "as", "2";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-is-strictly-sized-bool-error-overflow";
763:UP;ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
773:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".try";UP;XPATH "o[last()]";
780:STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";
789:ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".malloc";
795:UP;ADD "o";ATTR "method", "";ATTR "base", ".for";UP;XPATH "o[last()]";STRICT "1";ADD "o";
803:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
811:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".string";UP;XPATH "o[last()]";
818:STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";
827:ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";
833:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
839:SET "48 65 6C 6C 6F";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
848:STRICT "1";ATTR "as", "0";UP;ADD "o";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";
857:ATTR "base", ".m";UP;ADD "o";ATTR "method", "";ATTR "base", ".put";UP;XPATH "o[last()]";
864:STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";
873:ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".string";
879:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";
888:UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";
896:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
902:SET "4D 75 63 68 20 6C 6F 6E 67 65 72 20 73 74 72 69 6E 67 21";UP;UP;XPATH "o[last()]";
906:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
916:STRICT "1";ATTR "name", "@";UP;ADD "o";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "m";UP;
925:ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "1";UP;UP;XPATH "o[last()]";
933:STRICT "1";ATTR "as", "0";UP;ADD "o";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
942:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
950:ATTR "base", ".io";UP;ADD "o";ATTR "method", "";ATTR "base", ".stdout";UP;XPATH "o[last()]";
957:STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".e";UP;XPATH "o[last()]";
966:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;ADD "o";UP;
976:XPATH "o[last()]";STRICT "1";ATTR "name", "e";UP;ATTR "abstract", "";UP;XPATH "o[last()]";
983:STRICT "1";ATTR "as", "1";UP;ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";
992:UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".false";
1000:UP;XPATH "o[last()]";STRICT "1";ATTR "as", "2";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-is-strictly-sized-string-error-overflow";
1009:UP;ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
1019:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".malloc";UP;ADD "o";ATTR "method", "";
1027:ATTR "base", ".for";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
1036:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
1044:ATTR "base", ".int";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
1053:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
1061:ATTR "base", ".bytes";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
1068:SET "00 00 00 00 00 00 2F D8";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
1077:STRICT "1";ATTR "as", "0";UP;ADD "o";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";
1086:ATTR "base", ".m";UP;ADD "o";ATTR "method", "";ATTR "base", ".put";UP;XPATH "o[last()]";
1093:STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";
1102:ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".int";
1108:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";
1117:UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";
1125:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
1131:SET "00 00 00 00 00 00 09 FC";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
1140:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;ADD "o";UP;
1150:XPATH "o[last()]";STRICT "1";ATTR "name", "m";UP;ATTR "abstract", "";UP;XPATH "o[last()]";
1157:STRICT "1";ATTR "as", "1";UP;UP;ADD "o";ATTR "method", "";ATTR "base", ".eq";UP;XPATH "o[last()]";
1166:STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";
1175:ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".int";
1181:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";
1190:UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";
1198:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
1204:SET "00 00 00 00 00 00 09 FC";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
1213:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-is-strictly-sized-int";
1220:UP;ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
1230:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".malloc";UP;ADD "o";ATTR "method", "";
1238:ATTR "base", ".for";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
1247:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
1255:ATTR "base", ".float";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";
1263:ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";
1269:UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";UP;XPATH "o[last()]";STRICT "1";ADD "o";
1277:ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "40 6E BC 28 F5 C2 8F 5C";UP;
1281:UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";
1290:UP;ADD "o";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".m";UP;ADD "o";
1300:ATTR "method", "";ATTR "base", ".put";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";
1307:UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";
1315:UP;ADD "o";ATTR "method", "";ATTR "base", ".float";UP;XPATH "o[last()]";STRICT "1";ADD "o";
1323:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
1331:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";UP;XPATH "o[last()]";
1338:STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "40 54 8E 14 7A E1 47 AE";
1343:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";
1353:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;ADD "o";UP;XPATH "o[last()]";STRICT "1";
1363:ATTR "name", "m";UP;ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "1";UP;
1371:UP;ADD "o";ATTR "method", "";ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";
1380:UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";
1388:UP;ADD "o";ATTR "method", "";ATTR "base", ".float";UP;XPATH "o[last()]";STRICT "1";ADD "o";
1396:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
1404:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";UP;XPATH "o[last()]";
1411:STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "40 54 8E 14 7A E1 47 AE";
1416:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";
1426:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-is-strictly-typed-float";UP;ADD "o";
1433:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
1441:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".malloc";UP;ADD "o";ATTR "method", "";
1449:ATTR "base", ".for";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
1458:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
1466:ATTR "base", ".string";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";
1474:ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";
1480:UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";UP;XPATH "o[last()]";STRICT "1";ADD "o";
1488:ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "48 65 6C 6C 6F";UP;UP;XPATH "o[last()]";
1494:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;ADD "o";ADD "o";
1504:ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".m";UP;ADD "o";ATTR "method", "";
1512:ATTR "base", ".put";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
1521:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
1529:ATTR "base", ".string";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";
1537:ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";
1543:UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";UP;XPATH "o[last()]";STRICT "1";ADD "o";
1551:ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "50 72 6F 74";UP;UP;XPATH "o[last()]";
1557:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
1567:STRICT "1";ATTR "name", "@";UP;ADD "o";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "m";UP;
1576:ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "1";UP;UP;ADD "o";ATTR "method", "";
1585:ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
1594:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
1602:ATTR "base", ".string";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";
1610:ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";
1616:UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";UP;XPATH "o[last()]";STRICT "1";ADD "o";
1624:ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "50 72 6F 74 6F";UP;UP;XPATH "o[last()]";
1630:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
1640:STRICT "1";ATTR "name", "memory-is-strictly-sized-string";UP;ADD "o";ATTR "atom", "";ATTR "abstract", "";
1646:UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-is-strictly-typed-bool";UP;ADD "o";
1652:ATTR "atom", "";ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-gives-id-to-allocated-block";
1658:UP;ADD "o";ATTR "atom", "";ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-allocates-right-size-block";
1666:UP;ADD "o";ATTR "atom", "";ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-writes-and-reads";
1674:UP;ADD "o";ATTR "atom", "";ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-concacts-strings-with-offset";
1682:UP;ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
1692:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".try";UP;XPATH "o[last()]";
1699:STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";
1708:ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".malloc";
1714:UP;ADD "o";ATTR "method", "";ATTR "base", ".of";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";
1723:UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";
1731:UP;ADD "o";ATTR "method", "";ATTR "base", ".int";UP;XPATH "o[last()]";STRICT "1";ADD "o";
1739:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
1747:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";UP;XPATH "o[last()]";
1754:STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "00 00 00 00 00 00 00 01";
1759:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";
1769:UP;ADD "o";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".m";UP;ADD "o";
1779:ATTR "method", "";ATTR "base", ".write";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";
1786:UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";
1794:UP;ADD "o";ATTR "method", "";ATTR "base", ".int";UP;XPATH "o[last()]";STRICT "1";ADD "o";
1802:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
1810:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";UP;XPATH "o[last()]";
1817:STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "00 00 00 00 00 00 00 01";
1822:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";
1832:UP;ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
1842:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".true";UP;XPATH "o[last()]";
1849:STRICT "1";ATTR "as", "1";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;ADD "o";UP;
1859:XPATH "o[last()]";STRICT "1";ATTR "name", "m";UP;ATTR "abstract", "";UP;XPATH "o[last()]";
1866:STRICT "1";ATTR "as", "1";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;ADD "o";ADD "o";
1876:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
1884:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".io";UP;ADD "o";ATTR "method", "";
1892:ATTR "base", ".stdout";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";
1900:ATTR "method", "";ATTR "base", ".e";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;
1908:XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;ADD "o";UP;XPATH "o[last()]";STRICT "1";
1916:ATTR "name", "e";UP;ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "1";UP;
1924:ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
1933:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".false";UP;XPATH "o[last()]";
1940:STRICT "1";ATTR "as", "2";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-cant-write-more-than-allocated-with-offset";
1947:UP;ADD "o";ATTR "atom", "";ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-reads-with-offset-and-length";
1955:UP;UP;ATTR "ms", "33";XPATH "/program/metas";ADD "meta";ADD "head";SET "tests";UP;ADD "tail";
1964:UP;UP;
[ERROR] Directive #170: STRICT "1"
[ERROR] No current nodes while 1 expected
[ERROR] Failed to execute goal org.eolang:eo-maven-plugin:0.38.0:phi-to-xmir (default-cli) on project eoc: 'org.eolang.maven.UnphiMojo@5f95f1e1' execution failed: java.io.UncheckedIOException: java.io.IOException: java.util.concurrent.ExecutionException: java.lang.IllegalStateException: Failed to create DOM quietly: ADD "program";ATTR "name", "malloc-tests";ATTR "version", "0.38.0";ATTR "revision", "0584492";
[ERROR] 4:ATTR "dob", "2024-05-09T18:19:28";ATTR "time", "2024-06-05T14:33:10.531994901Z";CDATA "This is XMIR - a dialect of XML, which is used to present a parsed EO program. For more information please visit https://news.eolang.org/2022-11-25-xmir-guide.html";
[ERROR] 7:ADD "listing";SET "{ ⟦ org ↦ ⟦ eolang ↦ ⟦ writes-into-memory-of ↦ ξ.mem.eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-0A))), puts-into-memory-for ↦ ξ.mem.eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-0A))), malloc-scope-is-dataized-twice ↦ ⊥, malloc-for-writes-first-init-value ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-2A)), α1 ↦ ⟦ φ ↦ Φ.org.eolang.true, m ↦ ∅ ⟧).eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-2A))), malloc-puts-over-the-previous-data ↦ ⊥, malloc-rewrites-and-increments-itself ↦ ξ.mem.eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-06))), writes-into-two-malloc-objects ↦ ξ.a.eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-0A))).and (α0 ↦ ξ.b.eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-14)))), malloc-is-strictly-sized-bool-error-overflow ↦ Φ.org.eolang.try (α0 ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.false, α1 ↦ ⟦ φ ↦ ξ.m.put (α0 ↦ Φ.org.eolang.float (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 41-94-88-A5-0F-85-1E-B8))), m ↦ ∅ ⟧), α1 ↦ ⟦ φ ↦ Φ.org.eolang.io.stdout (α0 ↦ ξ.e), e ↦ ∅ ⟧, α2 ↦ Φ.org.eolang.false), malloc-is-strictly-sized-string-error-overflow ↦ Φ.org.eolang.try (α0 ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.string (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 48-65-6C-6C-6F)), α1 ↦ ⟦ φ ↦ ξ.m.put (α0 ↦ Φ.org.eolang.string (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 4D-75-63-68-20-6C-6F-6E-67-65-72-20-73-74-72-69-6E-67-21))), m ↦ ∅ ⟧), α1 ↦ ⟦ φ ↦ Φ.org.eolang.io.stdout (α0 ↦ ξ.e), e ↦ ∅ ⟧, α2 ↦ Φ.org.eolang.false), malloc-is-strictly-sized-int ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-2F-D8)), α1 ↦ ⟦ φ ↦ ξ.m.put (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-09-FC))), m ↦ ∅ ⟧).eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-09-FC))), malloc-is-strictly-typed-float ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.float (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 40-6E-BC-28-F5-C2-8F-5C)), α1 ↦ ⟦ φ ↦ ξ.m.put (α0 ↦ Φ.org.eolang.float (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 40-54-8E-14-7A-E1-47-AE))), m ↦ ∅ ⟧).eq (α0 ↦ Φ.org.eolang.float (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 40-54-8E-14-7A-E1-47-AE))), memory-is-strictly-sized-string ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.string (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 48-65-6C-6C-6F)), α1 ↦ ⟦ φ ↦ ξ.m.put (α0 ↦ Φ.org.eolang.string (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 50-72-6F-74))), m ↦ ∅ ⟧).eq (α0 ↦ Φ.org.eolang.string (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 50-72-6F-74-6F))), malloc-is-strictly-typed-bool ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, malloc-gives-id-to-allocated-block ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, malloc-allocates-right-size-block ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, malloc-writes-and-reads ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, malloc-concacts-strings-with-offset ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, malloc-cant-write-more-than-allocated-with-offset ↦ Φ.org.eolang.try (α0 ↦ Φ.org.eolang.malloc.of (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-01)), α1 ↦ ⟦ φ ↦ ξ.m.write (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-01)), α1 ↦ Φ.org.eolang.true), m ↦ ∅ ⟧), α1 ↦ ⟦ φ ↦ Φ.org.eolang.io.stdout (α0 ↦ ξ.e), e ↦ ∅ ⟧, α2 ↦ Φ.org.eolang.false), malloc-reads-with-offset-and-length ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, λ ⤍ Package ⟧, λ ⤍ Package ⟧ ⟧ }";
[ERROR] 9:UP;ADD "errors";UP;ADD "sheets";UP;ADD "license";UP;ADD "metas";UP;XPATH "metas[last()]";STRICT "1";
[ERROR] 20:ADD "meta";ADD "head";SET "package";UP;ADD "tail";SET "org.eolang";UP;ADD "part";SET "org.eolang";
[ERROR] 29:UP;UP;UP;ADD "objects";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".mem";
[ERROR] 39:UP;ADD "o";ATTR "method", "";ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";
[ERROR] 48:UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";
[ERROR] 56:UP;ADD "o";ATTR "method", "";ATTR "base", ".int";UP;XPATH "o[last()]";STRICT "1";ADD "o";
[ERROR] 64:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 72:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";UP;XPATH "o[last()]";
[ERROR] 79:STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "00 00 00 00 00 00 00 0A";
[ERROR] 84:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";
[ERROR] 94:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "writes-into-memory-of";UP;ADD "o";ATTR "base", "$";
[ERROR] 102:UP;ADD "o";ATTR "method", "";ATTR "base", ".mem";UP;ADD "o";ATTR "method", "";ATTR "base", ".eq";
[ERROR] 110:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";
[ERROR] 119:UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".int";
[ERROR] 127:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";
[ERROR] 136:UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";
[ERROR] 144:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
[ERROR] 150:SET "00 00 00 00 00 00 00 0A";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
[ERROR] 159:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "puts-into-memory-for";
[ERROR] 166:UP;ADD "o";XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-scope-is-dataized-twice";
[ERROR] 171:UP;ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 181:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".malloc";UP;ADD "o";ATTR "method", "";
[ERROR] 189:ATTR "base", ".for";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
[ERROR] 198:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
[ERROR] 206:ATTR "base", ".int";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
[ERROR] 215:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
[ERROR] 223:ATTR "base", ".bytes";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
[ERROR] 230:SET "00 00 00 00 00 00 00 2A";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
[ERROR] 239:STRICT "1";ATTR "as", "0";UP;ADD "o";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
[ERROR] 248:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
[ERROR] 256:ATTR "base", ".true";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;ADD "o";UP;XPATH "o[last()]";
[ERROR] 265:STRICT "1";ATTR "name", "m";UP;ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "1";
[ERROR] 273:UP;UP;ADD "o";ATTR "method", "";ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";
[ERROR] 282:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 290:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".int";UP;XPATH "o[last()]";
[ERROR] 297:STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";
[ERROR] 306:ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";
[ERROR] 312:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
[ERROR] 318:SET "00 00 00 00 00 00 00 2A";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
[ERROR] 327:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-for-writes-first-init-value";
[ERROR] 334:UP;ADD "o";XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-puts-over-the-previous-data";
[ERROR] 339:UP;ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".mem";UP;ADD "o";ATTR "method", "";
[ERROR] 349:ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
[ERROR] 358:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
[ERROR] 366:ATTR "base", ".int";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
[ERROR] 375:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
[ERROR] 383:ATTR "base", ".bytes";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
[ERROR] 390:SET "00 00 00 00 00 00 00 06";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
[ERROR] 399:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-rewrites-and-increments-itself";
[ERROR] 406:UP;ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".a";UP;ADD "o";ATTR "method", "";
[ERROR] 416:ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
[ERROR] 425:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
[ERROR] 433:ATTR "base", ".int";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
[ERROR] 442:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
[ERROR] 450:ATTR "base", ".bytes";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
[ERROR] 457:SET "00 00 00 00 00 00 00 0A";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
[ERROR] 466:STRICT "1";ATTR "as", "0";UP;UP;ADD "o";ATTR "method", "";ATTR "base", ".and";UP;XPATH "o[last()]";
[ERROR] 475:STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".b";UP;ADD "o";
[ERROR] 484:ATTR "method", "";ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";
[ERROR] 491:UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";
[ERROR] 499:UP;ADD "o";ATTR "method", "";ATTR "base", ".int";UP;XPATH "o[last()]";STRICT "1";ADD "o";
[ERROR] 507:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 515:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";UP;XPATH "o[last()]";
[ERROR] 522:STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "00 00 00 00 00 00 00 14";
[ERROR] 527:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";
[ERROR] 537:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "writes-into-two-malloc-objects";
[ERROR] 547:UP;ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 557:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".try";UP;XPATH "o[last()]";
[ERROR] 564:STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";
[ERROR] 573:ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".malloc";
[ERROR] 579:UP;ADD "o";ATTR "method", "";ATTR "base", ".for";UP;XPATH "o[last()]";STRICT "1";ADD "o";
[ERROR] 587:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 595:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".false";UP;XPATH "o[last()]";
[ERROR] 602:STRICT "1";ATTR "as", "0";UP;ADD "o";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";
[ERROR] 611:ATTR "base", ".m";UP;ADD "o";ATTR "method", "";ATTR "base", ".put";UP;XPATH "o[last()]";
[ERROR] 618:STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";
[ERROR] 627:ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".float";
[ERROR] 633:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";
[ERROR] 642:UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";
[ERROR] 650:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
[ERROR] 656:SET "41 94 88 A5 0F 85 1E B8";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
[ERROR] 665:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;ADD "o";UP;
[ERROR] 675:XPATH "o[last()]";STRICT "1";ATTR "name", "m";UP;ATTR "abstract", "";UP;XPATH "o[last()]";
[ERROR] 682:STRICT "1";ATTR "as", "1";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;ADD "o";ADD "o";
[ERROR] 692:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 700:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".io";UP;ADD "o";ATTR "method", "";
[ERROR] 708:ATTR "base", ".stdout";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";
[ERROR] 716:ATTR "method", "";ATTR "base", ".e";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;
[ERROR] 724:XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;ADD "o";UP;XPATH "o[last()]";STRICT "1";
[ERROR] 732:ATTR "name", "e";UP;ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "1";UP;
[ERROR] 740:ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 749:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".false";UP;XPATH "o[last()]";
[ERROR] 756:STRICT "1";ATTR "as", "2";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-is-strictly-sized-bool-error-overflow";
[ERROR] 763:UP;ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 773:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".try";UP;XPATH "o[last()]";
[ERROR] 780:STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";
[ERROR] 789:ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".malloc";
[ERROR] 795:UP;ADD "o";ATTR "method", "";ATTR "base", ".for";UP;XPATH "o[last()]";STRICT "1";ADD "o";
[ERROR] 803:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 811:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".string";UP;XPATH "o[last()]";
[ERROR] 818:STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";
[ERROR] 827:ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";
[ERROR] 833:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
[ERROR] 839:SET "48 65 6C 6C 6F";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
[ERROR] 848:STRICT "1";ATTR "as", "0";UP;ADD "o";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";
[ERROR] 857:ATTR "base", ".m";UP;ADD "o";ATTR "method", "";ATTR "base", ".put";UP;XPATH "o[last()]";
[ERROR] 864:STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";
[ERROR] 873:ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".string";
[ERROR] 879:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";
[ERROR] 888:UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";
[ERROR] 896:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
[ERROR] 902:SET "4D 75 63 68 20 6C 6F 6E 67 65 72 20 73 74 72 69 6E 67 21";UP;UP;XPATH "o[last()]";
[ERROR] 906:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
[ERROR] 916:STRICT "1";ATTR "name", "@";UP;ADD "o";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "m";UP;
[ERROR] 925:ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "1";UP;UP;XPATH "o[last()]";
[ERROR] 933:STRICT "1";ATTR "as", "0";UP;ADD "o";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
[ERROR] 942:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
[ERROR] 950:ATTR "base", ".io";UP;ADD "o";ATTR "method", "";ATTR "base", ".stdout";UP;XPATH "o[last()]";
[ERROR] 957:STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".e";UP;XPATH "o[last()]";
[ERROR] 966:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;ADD "o";UP;
[ERROR] 976:XPATH "o[last()]";STRICT "1";ATTR "name", "e";UP;ATTR "abstract", "";UP;XPATH "o[last()]";
[ERROR] 983:STRICT "1";ATTR "as", "1";UP;ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";
[ERROR] 992:UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".false";
[ERROR] 1000:UP;XPATH "o[last()]";STRICT "1";ATTR "as", "2";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-is-strictly-sized-string-error-overflow";
[ERROR] 1009:UP;ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 1019:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".malloc";UP;ADD "o";ATTR "method", "";
[ERROR] 1027:ATTR "base", ".for";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
[ERROR] 1036:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
[ERROR] 1044:ATTR "base", ".int";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
[ERROR] 1053:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
[ERROR] 1061:ATTR "base", ".bytes";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
[ERROR] 1068:SET "00 00 00 00 00 00 2F D8";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
[ERROR] 1077:STRICT "1";ATTR "as", "0";UP;ADD "o";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";
[ERROR] 1086:ATTR "base", ".m";UP;ADD "o";ATTR "method", "";ATTR "base", ".put";UP;XPATH "o[last()]";
[ERROR] 1093:STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";
[ERROR] 1102:ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".int";
[ERROR] 1108:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";
[ERROR] 1117:UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";
[ERROR] 1125:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
[ERROR] 1131:SET "00 00 00 00 00 00 09 FC";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
[ERROR] 1140:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;ADD "o";UP;
[ERROR] 1150:XPATH "o[last()]";STRICT "1";ATTR "name", "m";UP;ATTR "abstract", "";UP;XPATH "o[last()]";
[ERROR] 1157:STRICT "1";ATTR "as", "1";UP;UP;ADD "o";ATTR "method", "";ATTR "base", ".eq";UP;XPATH "o[last()]";
[ERROR] 1166:STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";
[ERROR] 1175:ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".int";
[ERROR] 1181:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";
[ERROR] 1190:UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";
[ERROR] 1198:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
[ERROR] 1204:SET "00 00 00 00 00 00 09 FC";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
[ERROR] 1213:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-is-strictly-sized-int";
[ERROR] 1220:UP;ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 1230:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".malloc";UP;ADD "o";ATTR "method", "";
[ERROR] 1238:ATTR "base", ".for";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
[ERROR] 1247:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
[ERROR] 1255:ATTR "base", ".float";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";
[ERROR] 1263:ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";
[ERROR] 1269:UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";UP;XPATH "o[last()]";STRICT "1";ADD "o";
[ERROR] 1277:ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "40 6E BC 28 F5 C2 8F 5C";UP;
[ERROR] 1281:UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";
[ERROR] 1290:UP;ADD "o";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".m";UP;ADD "o";
[ERROR] 1300:ATTR "method", "";ATTR "base", ".put";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";
[ERROR] 1307:UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";
[ERROR] 1315:UP;ADD "o";ATTR "method", "";ATTR "base", ".float";UP;XPATH "o[last()]";STRICT "1";ADD "o";
[ERROR] 1323:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 1331:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";UP;XPATH "o[last()]";
[ERROR] 1338:STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "40 54 8E 14 7A E1 47 AE";
[ERROR] 1343:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";
[ERROR] 1353:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;ADD "o";UP;XPATH "o[last()]";STRICT "1";
[ERROR] 1363:ATTR "name", "m";UP;ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "1";UP;
[ERROR] 1371:UP;ADD "o";ATTR "method", "";ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";
[ERROR] 1380:UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";
[ERROR] 1388:UP;ADD "o";ATTR "method", "";ATTR "base", ".float";UP;XPATH "o[last()]";STRICT "1";ADD "o";
[ERROR] 1396:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 1404:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";UP;XPATH "o[last()]";
[ERROR] 1411:STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "40 54 8E 14 7A E1 47 AE";
[ERROR] 1416:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";
[ERROR] 1426:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-is-strictly-typed-float";UP;ADD "o";
[ERROR] 1433:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 1441:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".malloc";UP;ADD "o";ATTR "method", "";
[ERROR] 1449:ATTR "base", ".for";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
[ERROR] 1458:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
[ERROR] 1466:ATTR "base", ".string";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";
[ERROR] 1474:ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";
[ERROR] 1480:UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";UP;XPATH "o[last()]";STRICT "1";ADD "o";
[ERROR] 1488:ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "48 65 6C 6C 6F";UP;UP;XPATH "o[last()]";
[ERROR] 1494:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;ADD "o";ADD "o";
[ERROR] 1504:ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".m";UP;ADD "o";ATTR "method", "";
[ERROR] 1512:ATTR "base", ".put";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
[ERROR] 1521:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
[ERROR] 1529:ATTR "base", ".string";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";
[ERROR] 1537:ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";
[ERROR] 1543:UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";UP;XPATH "o[last()]";STRICT "1";ADD "o";
[ERROR] 1551:ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "50 72 6F 74";UP;UP;XPATH "o[last()]";
[ERROR] 1557:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
[ERROR] 1567:STRICT "1";ATTR "name", "@";UP;ADD "o";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "m";UP;
[ERROR] 1576:ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "1";UP;UP;ADD "o";ATTR "method", "";
[ERROR] 1585:ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
[ERROR] 1594:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
[ERROR] 1602:ATTR "base", ".string";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";
[ERROR] 1610:ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";
[ERROR] 1616:UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";UP;XPATH "o[last()]";STRICT "1";ADD "o";
[ERROR] 1624:ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "50 72 6F 74 6F";UP;UP;XPATH "o[last()]";
[ERROR] 1630:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
[ERROR] 1640:STRICT "1";ATTR "name", "memory-is-strictly-sized-string";UP;ADD "o";ATTR "atom", "";ATTR "abstract", "";
[ERROR] 1646:UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-is-strictly-typed-bool";UP;ADD "o";
[ERROR] 1652:ATTR "atom", "";ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-gives-id-to-allocated-block";
[ERROR] 1658:UP;ADD "o";ATTR "atom", "";ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-allocates-right-size-block";
[ERROR] 1666:UP;ADD "o";ATTR "atom", "";ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-writes-and-reads";
[ERROR] 1674:UP;ADD "o";ATTR "atom", "";ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-concacts-strings-with-offset";
[ERROR] 1682:UP;ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 1692:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".try";UP;XPATH "o[last()]";
[ERROR] 1699:STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";
[ERROR] 1708:ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".malloc";
[ERROR] 1714:UP;ADD "o";ATTR "method", "";ATTR "base", ".of";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";
[ERROR] 1723:UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";
[ERROR] 1731:UP;ADD "o";ATTR "method", "";ATTR "base", ".int";UP;XPATH "o[last()]";STRICT "1";ADD "o";
[ERROR] 1739:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 1747:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";UP;XPATH "o[last()]";
[ERROR] 1754:STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "00 00 00 00 00 00 00 01";
[ERROR] 1759:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";
[ERROR] 1769:UP;ADD "o";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".m";UP;ADD "o";
[ERROR] 1779:ATTR "method", "";ATTR "base", ".write";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";
[ERROR] 1786:UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";
[ERROR] 1794:UP;ADD "o";ATTR "method", "";ATTR "base", ".int";UP;XPATH "o[last()]";STRICT "1";ADD "o";
[ERROR] 1802:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 1810:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";UP;XPATH "o[last()]";
[ERROR] 1817:STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "00 00 00 00 00 00 00 01";
[ERROR] 1822:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";
[ERROR] 1832:UP;ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 1842:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".true";UP;XPATH "o[last()]";
[ERROR] 1849:STRICT "1";ATTR "as", "1";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;ADD "o";UP;
[ERROR] 1859:XPATH "o[last()]";STRICT "1";ATTR "name", "m";UP;ATTR "abstract", "";UP;XPATH "o[last()]";
[ERROR] 1866:STRICT "1";ATTR "as", "1";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;ADD "o";ADD "o";
[ERROR] 1876:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 1884:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".io";UP;ADD "o";ATTR "method", "";
[ERROR] 1892:ATTR "base", ".stdout";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";
[ERROR] 1900:ATTR "method", "";ATTR "base", ".e";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;
[ERROR] 1908:XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;ADD "o";UP;XPATH "o[last()]";STRICT "1";
[ERROR] 1916:ATTR "name", "e";UP;ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "1";UP;
[ERROR] 1924:ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 1933:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".false";UP;XPATH "o[last()]";
[ERROR] 1940:STRICT "1";ATTR "as", "2";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-cant-write-more-than-allocated-with-offset";
[ERROR] 1947:UP;ADD "o";ATTR "atom", "";ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "malloc-reads-with-offset-and-length";
[ERROR] 1955:UP;UP;ATTR "ms", "33";XPATH "/program/metas";ADD "meta";ADD "head";SET "tests";UP;ADD "tail";
[ERROR] 1964:UP;UP;: Directive #170: STRICT "1": No current nodes while 1 expected
[ERROR] -> [Help 1]
[ERROR] 
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR] 
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
The command "/home/eyjafjallajokull/Desktop/gh/normalizer/node_modules/eolang/mvnw/mvnw eo:phi-to-xmir -Deo.version=0.38.0 -Deo.tag=0.38.0 --quiet -Deo.sourcesDir=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/tmp -Deo.targetDir=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/tmp/.eoc -Deo.outputDir=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/tmp/.eoc/classes -Deo.generatedDir=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/tmp/.eoc/generated-sources -Deo.placed=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/tmp/.eoc/eo-placed.csv -Deo.placedFormat=csv -Deo.unphiInputDir=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/tmp/.eoc/phi -Deo.unphiOutputDir=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/tmp/.eoc/unphi -Deo.unphiMetas=+tests --batch-mode --color=never --update-snapshots --fail-fast --strict-checksums" exited with #1 code

seq-tests.phi

{ ⟦ org ↦ ⟦ eolang ↦ ⟦ seq-single-dataization-float-less ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, seq-single-dataization-float-greater ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, seq-single-dataization-int-less ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, seq-single-dataization-int-less-or-equal ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, very-long-seq ↦ ⊥, seq-single-dataization-int-equal-to-test ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, seq-single-dataization-int-equal-to-cache-problem-test ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, λ ⤍ Package ⟧, λ ⤍ Package ⟧  ⟧ }

Error:

[ERROR] Failed to create DOM quietly: ADD "program";ATTR "name", "seq-tests";ATTR "version", "0.38.0";ATTR "revision", "0584492";
4:ATTR "dob", "2024-05-09T18:19:28";ATTR "time", "2024-06-05T14:35:01.727076620Z";CDATA "This is XMIR - a dialect of XML, which is used to present a parsed EO program. For more information please visit https://news.eolang.org/2022-11-25-xmir-guide.html";
7:ADD "listing";SET "{ ⟦ org ↦ ⟦ eolang ↦ ⟦ seq-single-dataization-float-less ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, seq-single-dataization-float-greater ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, seq-single-dataization-int-less ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, seq-single-dataization-int-less-or-equal ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, very-long-seq ↦ ⊥, seq-single-dataization-int-equal-to-test ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, seq-single-dataization-int-equal-to-cache-problem-test ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, λ ⤍ Package ⟧, λ ⤍ Package ⟧  ⟧ }";
9:UP;ADD "errors";UP;ADD "sheets";UP;ADD "license";UP;ADD "metas";UP;XPATH "metas[last()]";STRICT "1";
20:ADD "meta";ADD "head";SET "package";UP;ADD "tail";SET "org.eolang";UP;ADD "part";SET "org.eolang";
29:UP;UP;UP;ADD "objects";ADD "o";ATTR "atom", "";ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";
39:ATTR "name", "seq-single-dataization-float-less";UP;ADD "o";ATTR "atom", "";ATTR "abstract", "";
44:UP;XPATH "o[last()]";STRICT "1";ATTR "name", "seq-single-dataization-float-greater";UP;
49:ADD "o";ATTR "atom", "";ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "seq-single-dataization-int-less";
56:UP;ADD "o";ATTR "atom", "";ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "seq-single-dataization-int-less-or-equal";
64:UP;ADD "o";XPATH "o[last()]";STRICT "1";ATTR "name", "very-long-seq";UP;ADD "o";ATTR "atom", "";
72:ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "seq-single-dataization-int-equal-to-test";
77:UP;ADD "o";ATTR "atom", "";ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "seq-single-dataization-int-equal-to-cache-problem-test";
85:UP;UP;ATTR "ms", "2";XPATH "/program/metas";ADD "meta";ADD "head";SET "tests";UP;ADD "tail";
94:UP;UP;
[ERROR] Directive #68: STRICT "1"
[ERROR] No current nodes while 1 expected
[ERROR] Failed to execute goal org.eolang:eo-maven-plugin:0.38.0:phi-to-xmir (default-cli) on project eoc: 'org.eolang.maven.UnphiMojo@5f95f1e1' execution failed: java.io.UncheckedIOException: java.io.IOException: java.util.concurrent.ExecutionException: java.lang.IllegalStateException: Failed to create DOM quietly: ADD "program";ATTR "name", "seq-tests";ATTR "version", "0.38.0";ATTR "revision", "0584492";
[ERROR] 4:ATTR "dob", "2024-05-09T18:19:28";ATTR "time", "2024-06-05T14:35:01.727076620Z";CDATA "This is XMIR - a dialect of XML, which is used to present a parsed EO program. For more information please visit https://news.eolang.org/2022-11-25-xmir-guide.html";
[ERROR] 7:ADD "listing";SET "{ ⟦ org ↦ ⟦ eolang ↦ ⟦ seq-single-dataization-float-less ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, seq-single-dataization-float-greater ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, seq-single-dataization-int-less ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, seq-single-dataization-int-less-or-equal ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, very-long-seq ↦ ⊥, seq-single-dataization-int-equal-to-test ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, seq-single-dataization-int-equal-to-cache-problem-test ↦ ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧, λ ⤍ Package ⟧, λ ⤍ Package ⟧  ⟧ }";
[ERROR] 9:UP;ADD "errors";UP;ADD "sheets";UP;ADD "license";UP;ADD "metas";UP;XPATH "metas[last()]";STRICT "1";
[ERROR] 20:ADD "meta";ADD "head";SET "package";UP;ADD "tail";SET "org.eolang";UP;ADD "part";SET "org.eolang";
[ERROR] 29:UP;UP;UP;ADD "objects";ADD "o";ATTR "atom", "";ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";
[ERROR] 39:ATTR "name", "seq-single-dataization-float-less";UP;ADD "o";ATTR "atom", "";ATTR "abstract", "";
[ERROR] 44:UP;XPATH "o[last()]";STRICT "1";ATTR "name", "seq-single-dataization-float-greater";UP;
[ERROR] 49:ADD "o";ATTR "atom", "";ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "seq-single-dataization-int-less";
[ERROR] 56:UP;ADD "o";ATTR "atom", "";ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "seq-single-dataization-int-less-or-equal";
[ERROR] 64:UP;ADD "o";XPATH "o[last()]";STRICT "1";ATTR "name", "very-long-seq";UP;ADD "o";ATTR "atom", "";
[ERROR] 72:ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "seq-single-dataization-int-equal-to-test";
[ERROR] 77:UP;ADD "o";ATTR "atom", "";ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "seq-single-dataization-int-equal-to-cache-problem-test";
[ERROR] 85:UP;UP;ATTR "ms", "2";XPATH "/program/metas";ADD "meta";ADD "head";SET "tests";UP;ADD "tail";
[ERROR] 94:UP;UP;: Directive #68: STRICT "1": No current nodes while 1 expected
[ERROR] -> [Help 1]
[ERROR] 
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR] 
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
The command "/home/eyjafjallajokull/Desktop/gh/normalizer/node_modules/eolang/mvnw/mvnw eo:phi-to-xmir -Deo.version=0.38.0 -Deo.tag=0.38.0 --quiet -Deo.sourcesDir=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/tmp -Deo.targetDir=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/tmp/.eoc -Deo.outputDir=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/tmp/.eoc/classes -Deo.generatedDir=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/tmp/.eoc/generated-sources -Deo.placed=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/tmp/.eoc/eo-placed.csv -Deo.placedFormat=csv -Deo.unphiInputDir=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/tmp/.eoc/phi -Deo.unphiOutputDir=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/tmp/.eoc/unphi -Deo.unphiMetas=+tests --batch-mode --color=never --update-snapshots --fail-fast --strict-checksums" exited with #1 code

while-tests.phi

{ ⟦ org ↦ ⟦ eolang ↦ ⟦ while-dataizes-only-first-cycle ↦ ⊥, simple-while-with-false-first ↦ ⟦ Δ ⤍ 01- ⟧, simple-bool-expression-via-malloc-in-while ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.true, α1 ↦ ⟦ m ↦ ∅, φ ↦ Φ.org.eolang.while (α0 ↦ ξ.auto-named-attr-at-32-17, α1 ↦ ξ.auto-named-attr-at-33-27), auto-named-attr-at-32-17 ↦ ⟦ φ ↦ ξ.ρ.m, i ↦ ∅ ⟧, auto-named-attr-at-33-27 ↦ ⟦ φ ↦ ξ.ρ.m.put (α0 ↦ Φ.org.eolang.false), i ↦ ∅ ⟧ ⟧).eq (α0 ↦ Φ.org.eolang.false), last-while-dataization-object ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-00)), α1 ↦ ⟦ m ↦ ∅, φ ↦ Φ.org.eolang.while (α0 ↦ ξ.auto-named-attr-at-43-22, α1 ↦ ξ.auto-named-attr-at-44-39), auto-named-attr-at-43-22 ↦ ⟦ φ ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-02)).gt (α0 ↦ ξ.ρ.m), i ↦ ∅ ⟧, auto-named-attr-at-44-39 ↦ ⟦ φ ↦ ξ.ρ.m.put (α0 ↦ ξ.ρ.m.as-int.plus (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-01)))), i ↦ ∅ ⟧ ⟧).eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-03))), last-while-dataization-object-with-false-condition ↦ ⟦ Δ ⤍ 01- ⟧, iterating-tuple-with-while-using-internal-iterator ↦ ξ.data.eq (α0 ↦ ξ.arr.length), iterating-tuple-with-while-using-external-iterator ↦ ξ.data.eq (α0 ↦ ξ.arr.length), iterating-tuple-with-while-without-body-multiple ↦ ξ.data.eq (α0 ↦ ξ.arr.length), iterating-tuple-with-while-without-body-single ↦ ξ.data.eq (α0 ↦ ξ.arr.length), λ ⤍ Package ⟧, λ ⤍ Package ⟧  ⟧ }

[ERROR] Failed to create DOM quietly: ADD "program";ATTR "name", "while-tests";ATTR "version", "0.38.0";ATTR "revision", "0584492";
4:ATTR "dob", "2024-05-09T18:19:28";ATTR "time", "2024-06-05T14:34:00.508250747Z";CDATA "This is XMIR - a dialect of XML, which is used to present a parsed EO program. For more information please visit https://news.eolang.org/2022-11-25-xmir-guide.html";
7:ADD "listing";SET "{ ⟦ org ↦ ⟦ eolang ↦ ⟦ while-dataizes-only-first-cycle ↦ ⊥, simple-while-with-false-first ↦ ⟦ Δ ⤍ 01- ⟧, simple-bool-expression-via-malloc-in-while ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.true, α1 ↦ ⟦ m ↦ ∅, φ ↦ Φ.org.eolang.while (α0 ↦ ξ.auto-named-attr-at-32-17, α1 ↦ ξ.auto-named-attr-at-33-27), auto-named-attr-at-32-17 ↦ ⟦ φ ↦ ξ.ρ.m, i ↦ ∅ ⟧, auto-named-attr-at-33-27 ↦ ⟦ φ ↦ ξ.ρ.m.put (α0 ↦ Φ.org.eolang.false), i ↦ ∅ ⟧ ⟧).eq (α0 ↦ Φ.org.eolang.false), last-while-dataization-object ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-00)), α1 ↦ ⟦ m ↦ ∅, φ ↦ Φ.org.eolang.while (α0 ↦ ξ.auto-named-attr-at-43-22, α1 ↦ ξ.auto-named-attr-at-44-39), auto-named-attr-at-43-22 ↦ ⟦ φ ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-02)).gt (α0 ↦ ξ.ρ.m), i ↦ ∅ ⟧, auto-named-attr-at-44-39 ↦ ⟦ φ ↦ ξ.ρ.m.put (α0 ↦ ξ.ρ.m.as-int.plus (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-01)))), i ↦ ∅ ⟧ ⟧).eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-03))), last-while-dataization-object-with-false-condition ↦ ⟦ Δ ⤍ 01- ⟧, iterating-tuple-with-while-using-internal-iterator ↦ ξ.data.eq (α0 ↦ ξ.arr.length), iterating-tuple-with-while-using-external-iterator ↦ ξ.data.eq (α0 ↦ ξ.arr.length), iterating-tuple-with-while-without-body-multiple ↦ ξ.data.eq (α0 ↦ ξ.arr.length), iterating-tuple-with-while-without-body-single ↦ ξ.data.eq (α0 ↦ ξ.arr.length), λ ⤍ Package ⟧, λ ⤍ Package ⟧  ⟧ }";
9:UP;ADD "errors";UP;ADD "sheets";UP;ADD "license";UP;ADD "metas";UP;XPATH "metas[last()]";STRICT "1";
20:ADD "meta";ADD "head";SET "package";UP;ADD "tail";SET "org.eolang";UP;ADD "part";SET "org.eolang";
29:UP;UP;UP;ADD "objects";ADD "o";XPATH "o[last()]";STRICT "1";ATTR "name", "while-dataizes-only-first-cycle";
37:UP;ADD "o";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "01";UP;ATTR "abstract", "";
45:UP;XPATH "o[last()]";STRICT "1";ATTR "name", "simple-while-with-false-first";UP;ADD "o";
51:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
59:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".malloc";UP;ADD "o";ATTR "method", "";
67:ATTR "base", ".for";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
76:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
84:ATTR "base", ".true";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;ADD "o";ADD "o";UP;
93:XPATH "o[last()]";STRICT "1";ATTR "name", "m";UP;ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
102:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
110:ATTR "base", ".while";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";
118:ATTR "method", "";ATTR "base", ".auto-named-attr-at-32-17";UP;XPATH "o[last()]";STRICT "1";
123:ATTR "as", "0";UP;ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".auto-named-attr-at-33-27";
131:UP;XPATH "o[last()]";STRICT "1";ATTR "as", "1";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "@";
140:UP;ADD "o";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".^";UP;ADD "o";
150:ATTR "method", "";ATTR "base", ".m";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;
157:ADD "o";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "i";UP;ATTR "abstract", "";UP;XPATH "o[last()]";
166:STRICT "1";ATTR "name", "auto-named-attr-at-32-17";UP;ADD "o";ADD "o";ATTR "base", "$";
172:UP;ADD "o";ATTR "method", "";ATTR "base", ".^";UP;ADD "o";ATTR "method", "";ATTR "base", ".m";
180:UP;ADD "o";ATTR "method", "";ATTR "base", ".put";UP;XPATH "o[last()]";STRICT "1";ADD "o";
188:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
196:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".false";UP;XPATH "o[last()]";
203:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;ADD "o";UP;
213:XPATH "o[last()]";STRICT "1";ATTR "name", "i";UP;ATTR "abstract", "";UP;XPATH "o[last()]";
220:STRICT "1";ATTR "name", "auto-named-attr-at-33-27";UP;ATTR "abstract", "";UP;XPATH "o[last()]";
226:STRICT "1";ATTR "as", "1";UP;UP;ADD "o";ATTR "method", "";ATTR "base", ".eq";UP;XPATH "o[last()]";
235:STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";
244:ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".false";
250:UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "simple-bool-expression-via-malloc-in-while";
259:UP;ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
269:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".malloc";UP;ADD "o";ATTR "method", "";
277:ATTR "base", ".for";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
286:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
294:ATTR "base", ".int";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
303:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
311:ATTR "base", ".bytes";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
318:SET "00 00 00 00 00 00 00 00";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
327:STRICT "1";ATTR "as", "0";UP;ADD "o";ADD "o";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "m";
336:UP;ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
346:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".while";UP;XPATH "o[last()]";
353:STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".auto-named-attr-at-43-22";
360:UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";
370:ATTR "base", ".auto-named-attr-at-44-39";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "1";
375:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;ADD "o";ADD "o";ATTR "base", "Q";UP;
385:ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";
392:UP;ADD "o";ATTR "method", "";ATTR "base", ".int";UP;XPATH "o[last()]";STRICT "1";ADD "o";
400:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
408:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";UP;XPATH "o[last()]";
415:STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "00 00 00 00 00 00 00 02";
420:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;ADD "o";ATTR "method", "";ATTR "base", ".gt";
430:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".^";
439:UP;ADD "o";ATTR "method", "";ATTR "base", ".m";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";
447:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;ADD "o";UP;XPATH "o[last()]";STRICT "1";
457:ATTR "name", "i";UP;ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "auto-named-attr-at-43-22";
464:UP;ADD "o";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".^";UP;ADD "o";
474:ATTR "method", "";ATTR "base", ".m";UP;ADD "o";ATTR "method", "";ATTR "base", ".put";UP;
481:XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".^";
489:UP;ADD "o";ATTR "method", "";ATTR "base", ".m";UP;ADD "o";ATTR "method", "";ATTR "base", ".as-int";
497:UP;ADD "o";ATTR "method", "";ATTR "base", ".plus";UP;XPATH "o[last()]";STRICT "1";ADD "o";
505:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
513:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".int";UP;XPATH "o[last()]";
520:STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";
529:ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";
535:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
541:SET "00 00 00 00 00 00 00 01";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
550:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
560:STRICT "1";ATTR "name", "@";UP;ADD "o";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "i";UP;
569:ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "auto-named-attr-at-44-39";
574:UP;ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "1";UP;UP;ADD "o";ATTR "method", "";
584:ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
593:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
601:ATTR "base", ".int";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
610:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
618:ATTR "base", ".bytes";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
625:SET "00 00 00 00 00 00 00 03";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
634:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "last-while-dataization-object";
641:UP;ADD "o";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "01";UP;ATTR "abstract", "";
649:UP;XPATH "o[last()]";STRICT "1";ATTR "name", "last-while-dataization-object-with-false-condition";
653:UP;ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".data";UP;ADD "o";ATTR "method", "";
663:ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";
672:ATTR "base", ".arr";UP;ADD "o";ATTR "method", "";ATTR "base", ".length";UP;XPATH "o[last()]";
679:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "iterating-tuple-with-while-using-internal-iterator";
686:UP;ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".data";UP;ADD "o";ATTR "method", "";
696:ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";
705:ATTR "base", ".arr";UP;ADD "o";ATTR "method", "";ATTR "base", ".length";UP;XPATH "o[last()]";
712:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "iterating-tuple-with-while-using-external-iterator";
719:UP;ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".data";UP;ADD "o";ATTR "method", "";
729:ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";
738:ATTR "base", ".arr";UP;ADD "o";ATTR "method", "";ATTR "base", ".length";UP;XPATH "o[last()]";
745:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "iterating-tuple-with-while-without-body-multiple";
752:UP;ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".data";UP;ADD "o";ATTR "method", "";
762:ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";
771:ATTR "base", ".arr";UP;ADD "o";ATTR "method", "";ATTR "base", ".length";UP;XPATH "o[last()]";
778:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "iterating-tuple-with-while-without-body-single";
785:UP;UP;ATTR "ms", "13";XPATH "/program/metas";ADD "meta";ADD "head";SET "tests";UP;ADD "tail";
794:UP;UP;
[ERROR] Directive #36: STRICT "1"
[ERROR] No current nodes while 1 expected
[ERROR] Failed to execute goal org.eolang:eo-maven-plugin:0.38.0:phi-to-xmir (default-cli) on project eoc: 'org.eolang.maven.UnphiMojo@5f95f1e1' execution failed: java.io.UncheckedIOException: java.io.IOException: java.util.concurrent.ExecutionException: java.lang.IllegalStateException: Failed to create DOM quietly: ADD "program";ATTR "name", "while-tests";ATTR "version", "0.38.0";ATTR "revision", "0584492";
[ERROR] 4:ATTR "dob", "2024-05-09T18:19:28";ATTR "time", "2024-06-05T14:34:00.508250747Z";CDATA "This is XMIR - a dialect of XML, which is used to present a parsed EO program. For more information please visit https://news.eolang.org/2022-11-25-xmir-guide.html";
[ERROR] 7:ADD "listing";SET "{ ⟦ org ↦ ⟦ eolang ↦ ⟦ while-dataizes-only-first-cycle ↦ ⊥, simple-while-with-false-first ↦ ⟦ Δ ⤍ 01- ⟧, simple-bool-expression-via-malloc-in-while ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.true, α1 ↦ ⟦ m ↦ ∅, φ ↦ Φ.org.eolang.while (α0 ↦ ξ.auto-named-attr-at-32-17, α1 ↦ ξ.auto-named-attr-at-33-27), auto-named-attr-at-32-17 ↦ ⟦ φ ↦ ξ.ρ.m, i ↦ ∅ ⟧, auto-named-attr-at-33-27 ↦ ⟦ φ ↦ ξ.ρ.m.put (α0 ↦ Φ.org.eolang.false), i ↦ ∅ ⟧ ⟧).eq (α0 ↦ Φ.org.eolang.false), last-while-dataization-object ↦ Φ.org.eolang.malloc.for (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-00)), α1 ↦ ⟦ m ↦ ∅, φ ↦ Φ.org.eolang.while (α0 ↦ ξ.auto-named-attr-at-43-22, α1 ↦ ξ.auto-named-attr-at-44-39), auto-named-attr-at-43-22 ↦ ⟦ φ ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-02)).gt (α0 ↦ ξ.ρ.m), i ↦ ∅ ⟧, auto-named-attr-at-44-39 ↦ ⟦ φ ↦ ξ.ρ.m.put (α0 ↦ ξ.ρ.m.as-int.plus (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-01)))), i ↦ ∅ ⟧ ⟧).eq (α0 ↦ Φ.org.eolang.int (α0 ↦ Φ.org.eolang.bytes (Δ ⤍ 00-00-00-00-00-00-00-03))), last-while-dataization-object-with-false-condition ↦ ⟦ Δ ⤍ 01- ⟧, iterating-tuple-with-while-using-internal-iterator ↦ ξ.data.eq (α0 ↦ ξ.arr.length), iterating-tuple-with-while-using-external-iterator ↦ ξ.data.eq (α0 ↦ ξ.arr.length), iterating-tuple-with-while-without-body-multiple ↦ ξ.data.eq (α0 ↦ ξ.arr.length), iterating-tuple-with-while-without-body-single ↦ ξ.data.eq (α0 ↦ ξ.arr.length), λ ⤍ Package ⟧, λ ⤍ Package ⟧  ⟧ }";
[ERROR] 9:UP;ADD "errors";UP;ADD "sheets";UP;ADD "license";UP;ADD "metas";UP;XPATH "metas[last()]";STRICT "1";
[ERROR] 20:ADD "meta";ADD "head";SET "package";UP;ADD "tail";SET "org.eolang";UP;ADD "part";SET "org.eolang";
[ERROR] 29:UP;UP;UP;ADD "objects";ADD "o";XPATH "o[last()]";STRICT "1";ATTR "name", "while-dataizes-only-first-cycle";
[ERROR] 37:UP;ADD "o";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "01";UP;ATTR "abstract", "";
[ERROR] 45:UP;XPATH "o[last()]";STRICT "1";ATTR "name", "simple-while-with-false-first";UP;ADD "o";
[ERROR] 51:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 59:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".malloc";UP;ADD "o";ATTR "method", "";
[ERROR] 67:ATTR "base", ".for";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
[ERROR] 76:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
[ERROR] 84:ATTR "base", ".true";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;ADD "o";ADD "o";UP;
[ERROR] 93:XPATH "o[last()]";STRICT "1";ATTR "name", "m";UP;ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
[ERROR] 102:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
[ERROR] 110:ATTR "base", ".while";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";
[ERROR] 118:ATTR "method", "";ATTR "base", ".auto-named-attr-at-32-17";UP;XPATH "o[last()]";STRICT "1";
[ERROR] 123:ATTR "as", "0";UP;ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".auto-named-attr-at-33-27";
[ERROR] 131:UP;XPATH "o[last()]";STRICT "1";ATTR "as", "1";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "@";
[ERROR] 140:UP;ADD "o";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".^";UP;ADD "o";
[ERROR] 150:ATTR "method", "";ATTR "base", ".m";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;
[ERROR] 157:ADD "o";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "i";UP;ATTR "abstract", "";UP;XPATH "o[last()]";
[ERROR] 166:STRICT "1";ATTR "name", "auto-named-attr-at-32-17";UP;ADD "o";ADD "o";ATTR "base", "$";
[ERROR] 172:UP;ADD "o";ATTR "method", "";ATTR "base", ".^";UP;ADD "o";ATTR "method", "";ATTR "base", ".m";
[ERROR] 180:UP;ADD "o";ATTR "method", "";ATTR "base", ".put";UP;XPATH "o[last()]";STRICT "1";ADD "o";
[ERROR] 188:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 196:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".false";UP;XPATH "o[last()]";
[ERROR] 203:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;ADD "o";UP;
[ERROR] 213:XPATH "o[last()]";STRICT "1";ATTR "name", "i";UP;ATTR "abstract", "";UP;XPATH "o[last()]";
[ERROR] 220:STRICT "1";ATTR "name", "auto-named-attr-at-33-27";UP;ATTR "abstract", "";UP;XPATH "o[last()]";
[ERROR] 226:STRICT "1";ATTR "as", "1";UP;UP;ADD "o";ATTR "method", "";ATTR "base", ".eq";UP;XPATH "o[last()]";
[ERROR] 235:STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";
[ERROR] 244:ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".false";
[ERROR] 250:UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "simple-bool-expression-via-malloc-in-while";
[ERROR] 259:UP;ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 269:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".malloc";UP;ADD "o";ATTR "method", "";
[ERROR] 277:ATTR "base", ".for";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
[ERROR] 286:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
[ERROR] 294:ATTR "base", ".int";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
[ERROR] 303:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
[ERROR] 311:ATTR "base", ".bytes";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
[ERROR] 318:SET "00 00 00 00 00 00 00 00";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
[ERROR] 327:STRICT "1";ATTR "as", "0";UP;ADD "o";ADD "o";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "m";
[ERROR] 336:UP;ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 346:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".while";UP;XPATH "o[last()]";
[ERROR] 353:STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".auto-named-attr-at-43-22";
[ERROR] 360:UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";
[ERROR] 370:ATTR "base", ".auto-named-attr-at-44-39";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "1";
[ERROR] 375:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;ADD "o";ADD "o";ATTR "base", "Q";UP;
[ERROR] 385:ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";
[ERROR] 392:UP;ADD "o";ATTR "method", "";ATTR "base", ".int";UP;XPATH "o[last()]";STRICT "1";ADD "o";
[ERROR] 400:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 408:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";UP;XPATH "o[last()]";
[ERROR] 415:STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "00 00 00 00 00 00 00 02";
[ERROR] 420:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;ADD "o";ATTR "method", "";ATTR "base", ".gt";
[ERROR] 430:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".^";
[ERROR] 439:UP;ADD "o";ATTR "method", "";ATTR "base", ".m";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";
[ERROR] 447:UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "@";UP;ADD "o";UP;XPATH "o[last()]";STRICT "1";
[ERROR] 457:ATTR "name", "i";UP;ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "auto-named-attr-at-43-22";
[ERROR] 464:UP;ADD "o";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".^";UP;ADD "o";
[ERROR] 474:ATTR "method", "";ATTR "base", ".m";UP;ADD "o";ATTR "method", "";ATTR "base", ".put";UP;
[ERROR] 481:XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".^";
[ERROR] 489:UP;ADD "o";ATTR "method", "";ATTR "base", ".m";UP;ADD "o";ATTR "method", "";ATTR "base", ".as-int";
[ERROR] 497:UP;ADD "o";ATTR "method", "";ATTR "base", ".plus";UP;XPATH "o[last()]";STRICT "1";ADD "o";
[ERROR] 505:ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";ATTR "method", "";
[ERROR] 513:ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".int";UP;XPATH "o[last()]";
[ERROR] 520:STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";ATTR "base", ".org";UP;ADD "o";
[ERROR] 529:ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";ATTR "base", ".bytes";
[ERROR] 535:UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
[ERROR] 541:SET "00 00 00 00 00 00 00 01";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
[ERROR] 550:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
[ERROR] 560:STRICT "1";ATTR "name", "@";UP;ADD "o";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "i";UP;
[ERROR] 569:ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "name", "auto-named-attr-at-44-39";
[ERROR] 574:UP;ATTR "abstract", "";UP;XPATH "o[last()]";STRICT "1";ATTR "as", "1";UP;UP;ADD "o";ATTR "method", "";
[ERROR] 584:ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
[ERROR] 593:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
[ERROR] 601:ATTR "base", ".int";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "Q";UP;ADD "o";ATTR "method", "";
[ERROR] 610:ATTR "base", ".org";UP;ADD "o";ATTR "method", "";ATTR "base", ".eolang";UP;ADD "o";ATTR "method", "";
[ERROR] 618:ATTR "base", ".bytes";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";
[ERROR] 625:SET "00 00 00 00 00 00 00 03";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";
[ERROR] 634:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "last-while-dataization-object";
[ERROR] 641:UP;ADD "o";ADD "o";ATTR "data", "bytes";ATTR "base", "org.eolang.bytes";SET "01";UP;ATTR "abstract", "";
[ERROR] 649:UP;XPATH "o[last()]";STRICT "1";ATTR "name", "last-while-dataization-object-with-false-condition";
[ERROR] 653:UP;ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".data";UP;ADD "o";ATTR "method", "";
[ERROR] 663:ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";
[ERROR] 672:ATTR "base", ".arr";UP;ADD "o";ATTR "method", "";ATTR "base", ".length";UP;XPATH "o[last()]";
[ERROR] 679:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "iterating-tuple-with-while-using-internal-iterator";
[ERROR] 686:UP;ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".data";UP;ADD "o";ATTR "method", "";
[ERROR] 696:ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";
[ERROR] 705:ATTR "base", ".arr";UP;ADD "o";ATTR "method", "";ATTR "base", ".length";UP;XPATH "o[last()]";
[ERROR] 712:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "iterating-tuple-with-while-using-external-iterator";
[ERROR] 719:UP;ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".data";UP;ADD "o";ATTR "method", "";
[ERROR] 729:ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";
[ERROR] 738:ATTR "base", ".arr";UP;ADD "o";ATTR "method", "";ATTR "base", ".length";UP;XPATH "o[last()]";
[ERROR] 745:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "iterating-tuple-with-while-without-body-multiple";
[ERROR] 752:UP;ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";ATTR "base", ".data";UP;ADD "o";ATTR "method", "";
[ERROR] 762:ATTR "base", ".eq";UP;XPATH "o[last()]";STRICT "1";ADD "o";ATTR "base", "$";UP;ADD "o";ATTR "method", "";
[ERROR] 771:ATTR "base", ".arr";UP;ADD "o";ATTR "method", "";ATTR "base", ".length";UP;XPATH "o[last()]";
[ERROR] 778:STRICT "1";ATTR "as", "0";UP;UP;XPATH "o[last()]";STRICT "1";ATTR "name", "iterating-tuple-with-while-without-body-single";
[ERROR] 785:UP;UP;ATTR "ms", "13";XPATH "/program/metas";ADD "meta";ADD "head";SET "tests";UP;ADD "tail";
[ERROR] 794:UP;UP;: Directive #36: STRICT "1": No current nodes while 1 expected
[ERROR] -> [Help 1]
[ERROR] 
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR] 
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
The command "/home/eyjafjallajokull/Desktop/gh/normalizer/node_modules/eolang/mvnw/mvnw eo:phi-to-xmir -Deo.version=0.38.0 -Deo.tag=0.38.0 --quiet -Deo.sourcesDir=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/tmp -Deo.targetDir=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/tmp/.eoc -Deo.outputDir=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/tmp/.eoc/classes -Deo.generatedDir=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/tmp/.eoc/generated-sources -Deo.placed=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/tmp/.eoc/eo-placed.csv -Deo.placedFormat=csv -Deo.unphiInputDir=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/tmp/.eoc/phi -Deo.unphiOutputDir=/home/eyjafjallajokull/Desktop/gh/normalizer/try-unphi/tmp/.eoc/unphi -Deo.unphiMetas=+tests --batch-mode --color=never --update-snapshots --fail-fast --strict-checksums" exited with #1 code

maxonfjvipon commented 3 weeks ago

@deemp could you please format them?

deemp commented 3 weeks ago

@maxonfjvipon, I can't format them now because pretty-printing isn't implemented yet (https://github.com/objectionary/normalizer/issues/292). Probably we'll implement this with @fizruk later in the evening

deemp commented 3 weeks ago

@maxonfjvipon, do they fail for you?

maxonfjvipon commented 3 weeks ago

@deemp yes, I think the problem is in ⊥ sign, we can't properly convert to XMIR for now

maxonfjvipon commented 3 weeks ago

@deemp btw, why this EO test which works:

# Test.
[] > while-dataizes-only-first-cycle
  eq. > @
    0
    malloc.for
      42
      [m]
        while > @
          i.eq 0 > [i]
          m.put i > [i] >>

after your normalization is converted to while-dataizes-only-first-cycle ↦ ⊥?

maxonfjvipon commented 3 weeks ago

@deemp such case x ↦ ⊥ will be translated to next EO:

org.eolang.error > x
  "Unknown error"

which is equal to:

x ↦ Φ.org.eolang.error(
  α0 ↦ Φ.org.eolang.string(
    α0 ↦ Φ.org.eolang.bytes(Δ ⤍ ...)
  )
)

fizruk commented 3 weeks ago

@deemp btw, why this EO test which works:
# Test.
[] > while-dataizes-only-first-cycle
  eq. > @
    0
    malloc.for
      42
      [m]
        while > @
          i.eq 0 > [i]
          m.put i > [i] >>
after your normalization is converted to while-dataizes-only-first-cycle ↦ ⊥?

Interesting. For this test the issue is that it gets stuck on ⟦ λ ⤍ Lorg_eolang_malloc_of_φ ⟧.as-bytes when trying to dataize atom Lorg_eolang_bytes_eq. Normalizer currently thinks that this is a problem, since it cannot extract bytes from malloc (it does not know about malloc). Clearly, we should abort dataization and keep the original $\varphi$-term instead. The fix is on the way.

fizruk commented 3 weeks ago

@deemp I strongly believe that:
prints-itself-to-console ↦ ⟦
  x ↦ Φ.org.eolang.int(
    α0 ↦ Φ.org.eolang.bytes(
      Δ ⤍ 00-00-00-00-00-00-00-2A
    )
  ),
  φ ↦ Φ.org.eolang.io.stdout(
    α0 ↦ Φ.org.eolang.as-phi(
      α0 ↦ ξ
    )
  )
⟧,
won't work the same way as:
prints-itself-to-console ↦ Φ.org.eolang.io.stdout(
  α0 ↦ Φ.org.eolang.as-phi (α0 ↦ ξ)
),
Because ξ refers to nearest formation. In the first example ξ refers to prints-itself-to-console, in the second it refers to eolang

Found the issue in dataization procedure, fix is on the way.

fizruk commented 3 weeks ago

@deemp and it seems our phi parser is not ready for such constructions where there's no any formation inside the object with λ ⤍ Package

Fixed in https://github.com/objectionary/normalizer/pull/392.

fizruk commented 3 weeks ago

@maxonfjvipon Thanks a lot for the quick response in this thread. I have no further questions, I think this issue can be closed. @deemp ?

maxonfjvipon commented 3 weeks ago

@fizruk @deemp I think it should be resolved and the ticket may be closed:

@deemp such case x ↦ ⊥ will be translated to next EO:
org.eolang.error > x
 "Unknown error"
which is equal to:
x ↦ Φ.org.eolang.error(
 α0 ↦ Φ.org.eolang.string(
   α0 ↦ Φ.org.eolang.bytes(Δ ⤍ ...)
 )
)

maxonfjvipon commented 2 weeks ago

@fizruk @deemp should be resolved in 0.38.4. I'm closing it for now

objectionary / eo