I see this output:
Φ.jeo.opcode.lconst_0(
9
),
Φ.jeo.opcode.lstore(
55,
1
),
Φ.jeo.opcode.iconst_0(
3
),
Φ.jeo.opcode.istore(
54,
3
),
Φ.jeo.label(
Φ̇.bytes(
⟦
Δ ⤍ 4C-31-32-38-34-34-34-35-32-36-37,
ρ ↦ ∅
⟧
)
),
It seems, we can make it more compact:
Φ.jeo.opcode.lconst_0(9),
Φ.jeo.opcode.lstore(55, 1),
Φ.jeo.opcode.iconst_0(3),
Φ.jeo.opcode.istore(54, 3),
Φ.jeo.label(
Φ̇.bytes(⟦ Δ ⤍ 4C-31-32-38-34-34-34-35-32-36-37, ρ ↦ ∅ ⟧)
),
It will be easier to read.