main:
    ADDI64 r254, r254, -40d
    LI64 r6, 4d
    LI64 r7, 1d
    LI64 r4, 0d
    ADDI64 r5, r254, 0d
    CP r8, r4
 6: JNE r8, r6, :0
    LI64 r6, 2d
    ADDI64 r1, r254, 32d
    CP r8, r4
 4: JNE r8, r7, :1
    LD r1, r254, 0a, 8h
    JMP :2
 1: MUL64 r11, r8, r6
    ADD64 r8, r8, r7
    SUB64 r9, r6, r8
    MUL64 r9, r9, r6
    CP r2, r4
 5: JNE r2, r6, :3
    JMP :4
 3: ADD64 r3, r2, r7
    ADD64 r10, r11, r2
    MULI64 r10, r10, 8d
    ADD64 r2, r9, r2
    ADD64 r10, r5, r10
    MULI64 r12, r2, 8d
    ADD64 r12, r5, r12
    BMC r10, r1, 8h
    BMC r12, r10, 8h
    BMC r1, r12, 8h
    CP r2, r3
    JMP :5
 0: ADD64 r1, r8, r7
    MULI64 r12, r8, 8d
    ADD64 r9, r5, r12
    ST r8, r9, 0a, 8h
    CP r8, r1
    JMP :6
 2: ADDI64 r254, r254, 40d
    JALA r0, r31, 0a
code size: 271
ret: 2
status: Ok(())