inst add__r__p_qword(arg0: bv64, arg1: bv64) {
    // TODO: Specify me.
}

inst add__r__r(arg0: bv64, arg1: bv64) {
    // TODO: Specify me.
}

inst add__r__w(arg0: bv64, arg1: bv64) {
    // TODO: Specify me.
}

inst and__r__p_qword(arg0: bv64, arg1: bv64) {
    // TODO: Specify me.
}

inst and__r__r(arg0: bv64, arg1: bv64) {
    // TODO: Specify me.
}

inst call__w(arg0: bv64) {
    // TODO: Specify me.
}

inst cmp__p_dword__w(arg0: bv64, arg1: bv64) {
    // TODO: Specify me.
}

inst cmp__p_qword__w(arg0: bv64, arg1: bv64) {
    // TODO: Specify me.
}

inst cmp__r__p_qword(arg0: bv64, arg1: bv64) {
    // TODO: Specify me.
}

inst cmp__r__r(arg0: bv64, arg1: bv64) {
    // TODO: Specify me.
}

inst cmp__r__w(arg0: bv64, arg1: bv64) {
    // TODO: Specify me.
}

inst jae__w(arg0: bv64) {
    // TODO: Specify me.
}

inst jb__w(arg0: bv64) {
    // TODO: Specify me.
}

inst je__w(arg0: bv64) {
    // TODO: Specify me.
}

inst jmp__w(arg0: bv64) {
    // TODO: Specify me.
}

inst jne__w(arg0: bv64) {
    // TODO: Specify me.
}

inst mov__p_byte__r(arg0: bv64, arg1: bv64) {
    // TODO: Specify me.
}

inst mov__p_qword__r(arg0: bv64, arg1: bv64) {
    // TODO: Specify me.
}

inst mov__r__p_qword(arg0: bv64, arg1: bv64) {
    // TODO: Specify me.
}

inst mov__r__r(arg0: bv64, arg1: bv64) {
    // TODO: Specify me.
}

inst mov__r__w(arg0: bv64, arg1: bv64) {
    // TODO: Specify me.
}

inst movabs__r__w(arg0: bv64, arg1: bv64) {
    // TODO: Specify me.
}

inst movsxd__r__r(arg0: bv64, arg1: bv64) {
    // TODO: Specify me.
}

inst movzx__r__p_byte(arg0: bv64, arg1: bv64) {
    // TODO: Specify me.
}

inst nop__p_dword(arg0: bv64) {
    // TODO: Specify me.
}

inst nop__p_word(arg0: bv64) {
    // TODO: Specify me.
}

inst pop__r(arg0: bv64) {
    // TODO: Specify me.
}

inst push__r(arg0: bv64) {
    // TODO: Specify me.
}

inst ret() {
    // TODO: Specify me.
}

inst shl__r__w(arg0: bv64, arg1: bv64) {
    // TODO: Specify me.
}

inst sub__r__w(arg0: bv64, arg1: bv64) {
    // TODO: Specify me.
}

inst xor__r__r(arg0: bv64, arg1: bv64) {
    // TODO: Specify me.
}

inst xor__r__w(arg0: bv64, arg1: bv64) {
    // TODO: Specify me.
}