void fun_79(int64_t rdi) {
}

uint64_t g28 = 0xe8c78900000004be;

void shb_print_float(int32_t edi, int32_t esi, int32_t edx);

void fun_fb();

struct s0 {
    signed char[8] pad8;
    int64_t f8;
};

void fun_e2(int64_t rdi, int64_t rsi) {
    uint64_t rax3;
    int64_t rbp4;
    struct s0* rbp5;

    __asm__("movss xmm0, [rbp-0xc]");
    rax3 = *reinterpret_cast<uint64_t*>(rbp4 - 8) ^ g28;
    if (rax3 != shb_print_float) {
        fun_fb();
    }
    goto rbp5->f8;
}

struct s1 {
    signed char[8] pad8;
    int64_t f8;
};

void fun_fb() {
    struct s1* rbp1;

    goto rbp1->f8;
}

struct s2 {
    signed char[8] pad8;
    int64_t f8;
};

void fun_118(int64_t rdi) {
    struct s2* rbp2;

    goto rbp2->f8;
}

void shb_print_float(int32_t edi, int32_t esi, int32_t edx) {
}

void fun_ffffffffbeec45b4();

void fun_21() {
    __asm__("in al, 0x8b");
    fun_ffffffffbeec45b4();
}

void fun_31() {
    signed char* rax1;
    signed char* rax2;
    signed char al3;
    int64_t rax4;
    int64_t rax5;
    signed char cl6;

    *rax1 = reinterpret_cast<signed char>(*rax2 + al3);
    *reinterpret_cast<signed char*>(rax4 - 0x77) = reinterpret_cast<signed char>(*reinterpret_cast<signed char*>(rax5 - 0x77) + cl6);
    return;
}

void fun_46() {
}

void fun_54() {
}

void fun_6a() {
    int64_t rdi1;
    int64_t rbp2;

    rdi1 = **reinterpret_cast<int64_t**>(rbp2 - 8);
    fun_79(rdi1);
}

struct s3 {
    signed char[8] pad8;
    int64_t f8;
};

void fun_85() {
    struct s3* rbp1;

    goto rbp1->f8;
}

void fun_ae(int64_t rdi, int64_t rsi);

void fun_9b() {
    int64_t rdi1;
    int64_t* rax2;
    int64_t rbp3;

    rdi1 = *rax2;
    fun_ae(rdi1, rbp3 - 12);
}

void fun_b6(int64_t rdi) {
    int64_t rbp2;
    uint64_t rax3;
    int64_t rbp4;
    int64_t rdi5;
    int64_t rbp6;
    int64_t rbp7;

    *reinterpret_cast<int64_t*>(rbp2 - 24) = rdi;
    rax3 = g28;
    *reinterpret_cast<uint64_t*>(rbp4 - 8) = rax3;
    rdi5 = **reinterpret_cast<int64_t**>(rbp6 - 24);
    fun_e2(rdi5, rbp7 - 12);
}

void fun_132() {
    signed char* rax1;
    signed char* rax2;
    signed char al3;

    *rax1 = reinterpret_cast<signed char>(*rax2 + al3);
    return;
}

void fun_140(int32_t edi) {
    int64_t rbp2;

    *reinterpret_cast<int32_t*>(rbp2 - 8) = edi;
}

void fun_14f() {
    signed char* rax1;
    signed char* rax2;
    signed char al3;

    *rax1 = reinterpret_cast<signed char>(*rax2 + al3);
    return;
}

void fun_16c() {
    signed char* rax1;
    signed char* rax2;
    signed char al3;

    *rax1 = reinterpret_cast<signed char>(*rax2 + al3);
    return;
}

void fun_17a(int32_t edi) {
    int64_t rbp2;

    *reinterpret_cast<int32_t*>(rbp2 - 8) = edi;
}

void fun_39() {
    int64_t* rax1;
    int64_t rdx2;

    *rax1 = rdx2;
}

void shb_float_put(int64_t rdi) {
}

void shb_float_getNbElements() {
}

void shb_float_getNbUsers(int64_t rdi) {
}

void shb_float_print() {
}

void shb_float_getSizeElement(int64_t* rdi) {
    int64_t rdi2;

    rdi2 = *rdi;
    fun_118(rdi2);
}

void shb_float_getCapacity(int64_t rdi) {
}