// File: /workspace/github_c_makefile_star2_O0/kaugm[P]mmwm/mmwm.c
// Function: xcb_remove_property
void xcb_remove_property(xcb_connection_t *con, xcb_window_t win, xcb_atom_t prop, xcb_atom_t atom)
{
    xcb_grab_server(con);

    xcb_get_property_reply_t *reply =
        xcb_get_property_reply(con,
                               xcb_get_property(con, False, win, prop, XCB_GET_PROPERTY_TYPE_ANY, 0, 4096), NULL);
    if (reply == NULL || xcb_get_property_value_length(reply) == 0)
        goto release_grab;
    xcb_atom_t *atoms = xcb_get_property_value(reply);
    if (atoms == NULL) {
        goto release_grab;
    }

    {
        int num = 0;
        const int current_size = xcb_get_property_value_length(reply) / (reply->format / 8);
        xcb_atom_t values[current_size];
        for (int i = 0; i < current_size; i++) {
            if (atoms[i] != atom)
                values[num++] = atoms[i];
        }

        xcb_change_property(con, XCB_PROP_MODE_REPLACE, win, prop, XCB_ATOM_ATOM, 32, num, values);
    }

release_grab:
    if (reply)
        free(reply);
    xcb_ungrab_server(con);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movl %edx, -0x10(%rbp)
movl %ecx, -0x14(%rbp)
movq -0x8(%rbp), %rdi
callq 0x3420
movl %eax, -0x18(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x60(%rbp)
movq -0x8(%rbp), %rdi
movl -0xc(%rbp), %edx
movl -0x10(%rbp), %ecx
xorl %r9d, %r9d
subq $0x10, %rsp
movl %r9d, %esi
movl %r9d, %r8d
movl $0x1000, (%rsp)         # imm = 0x1000
callq 0x3080
movq -0x60(%rbp), %rdi
addq $0x10, %rsp
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %esi
xorl %eax, %eax
movl %eax, %edx
callq 0x3500
movq %rax, -0x20(%rbp)
cmpq $0x0, -0x20(%rbp)
je 0x387c
movq -0x20(%rbp), %rdi
callq 0x3480
cmpl $0x0, %eax
jne 0x3881
jmp 0x396e
movq -0x20(%rbp), %rdi
callq 0x3100
movq %rax, -0x30(%rbp)
cmpq $0x0, -0x30(%rbp)
jne 0x389a
jmp 0x396e
movl $0x0, -0x34(%rbp)
movq -0x20(%rbp), %rdi
callq 0x3480
movq -0x20(%rbp), %rcx
movzbl 0x1(%rcx), %ecx
shrl $0x3, %ecx
cltd
idivl %ecx
movl %eax, -0x38(%rbp)
movl -0x38(%rbp), %eax
movq %rsp, %rcx
movq %rcx, -0x40(%rbp)
leaq 0xf(,%rax,4), %rdx
andq $-0x10, %rdx
movq %rsp, %rcx
subq %rdx, %rcx
movq %rcx, -0x68(%rbp)
movq %rcx, %rsp
movq %rax, -0x48(%rbp)
movl $0x0, -0x4c(%rbp)
movl -0x4c(%rbp), %eax
cmpl -0x38(%rbp), %eax
jge 0x392e
movq -0x30(%rbp), %rax
movslq -0x4c(%rbp), %rcx
movl (%rax,%rcx,4), %eax
cmpl -0x14(%rbp), %eax
je 0x3921
movq -0x68(%rbp), %rax
movq -0x30(%rbp), %rcx
movslq -0x4c(%rbp), %rdx
movl (%rcx,%rdx,4), %edx
movl -0x34(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x34(%rbp)
movslq %ecx, %rcx
movl %edx, (%rax,%rcx,4)
jmp 0x3923
movl -0x4c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x4c(%rbp)
jmp 0x38e9
movq -0x68(%rbp), %rax
movq -0x8(%rbp), %rdi
movl -0xc(%rbp), %edx
movl -0x10(%rbp), %ecx
movl -0x34(%rbp), %r10d
xorl %esi, %esi
movl $0x4, %r8d
movl $0x20, %r9d
subq $0x10, %rsp
movl %r10d, (%rsp)
movq %rax, 0x8(%rsp)
callq 0x35d0
addq $0x10, %rsp
movl %eax, -0x50(%rbp)
movq -0x40(%rbp), %rax
movq %rax, %rsp
cmpq $0x0, -0x20(%rbp)
je 0x397e
movq -0x20(%rbp), %rdi
callq 0x3050
movq -0x8(%rbp), %rdi
callq 0x3130
movl %eax, -0x54(%rbp)
movq %rbp, %rsp
popq %rbp
retq
nop