main:
    ADDI64 r254, r254, -128d
    ST r31, r254, 80a, 48h
    LI64 r32, 16d
    ADDI64 r33, r254, 56d
    LI64 r34, 1d
    ST r34, r254, 72a, 8h
    ADDI64 r35, r254, 40d
    LI64 r36, 4d
    ST r36, r254, 40a, 8h
    LI64 r36, 8d
    ST r34, r254, 48a, 8h
    ADDI64 r255, r254, 40d
    BMC r255, r33, 16h
    ADDI64 r34, r254, 16d
    ADDI64 r35, r254, 0d
    ADDI64 r255, r254, 56d
    BMC r255, r34, 24h
    JAL r31, r0, :opaque
    ST r1, r35, 0a, 16h
    BMC r254, r34, 16h
    LD r32, r254, 32a, 8h
    LD r33, r254, 24a, 8h
    ADD64 r32, r33, r32
    LD r33, r254, 16a, 8h
    SUB64 r32, r33, r32
    CP r1, r32
    LD r31, r254, 80a, 48h
    ADDI64 r254, r254, 128d
    JALA r0, r31, 0a
opaque:
    ADDI64 r254, r254, -16d
    ADDI64 r13, r254, 0d
    LI64 r14, 3d
    ST r14, r254, 0a, 8h
    LI64 r14, 8d
    LI64 r15, 2d
    ST r15, r254, 8a, 8h
    LD r1, r254, 0a, 16h
    ADDI64 r254, r254, 16d
    JALA r0, r31, 0a
code size: 410
ret: 0
status: Ok(())