// File: /workspace/github_c_makefile_star2_O2/MicBrain[P]Git-Sample/./util.h
// Function: fs_mv
static void fs_mv(const char* src, const char* dst) {
  ASSERT_ERROR_MESSAGE(src != NULL, "src is not a valid string");
  ASSERT_ERROR_MESSAGE(dst != NULL, "dst is not a valid string");
  ASSERT_ERROR_MESSAGE(is_sane_path(src), "src is not a valid path within .beargit");
  ASSERT_ERROR_MESSAGE(is_sane_path(dst), "dst is not a valid path within .beargit");
  int ret = rename(src, dst);
  ASSERT_ERROR_MESSAGE(ret == 0, "renaming file failed");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
leaq 0x21af(%rip), %rdi      # 0x41df
callq 0x385c
testl %eax, %eax
je 0x2071
leaq 0x2122(%rip), %rdi      # 0x4162
callq 0x385c
testl %eax, %eax
je 0x214d
leaq 0x218b(%rip), %rdi      # 0x41df
leaq 0x2107(%rip), %rsi      # 0x4162
callq 0x1140
testl %eax, %eax
jne 0x2229
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movq 0x4f80(%rip), %r12      # 0x6ff8
movq (%r12), %rdi
leaq 0x2302(%rip), %rsi      # 0x4385
leaq 0x260f(%rip), %rbx      # 0x4699
movq %rbx, %rdx
xorl %eax, %eax
callq 0x10d0
movq (%r12), %rcx
leaq 0x231a(%rip), %rdi      # 0x43b9
pushq $0x3b
popq %rsi
pushq $0x1
popq %r14
movq %r14, %rdx
callq 0x1190
movq (%r12), %rcx
leaq 0x233c(%rip), %rdi      # 0x43f5
pushq $0x39
popq %r15
movq %r15, %rsi
movq %r14, %rdx
callq 0x1190
movq (%r12), %rcx
leaq 0x235c(%rip), %rdi      # 0x442f
pushq $0x38
popq %rsi
movq %r14, %rdx
callq 0x1190
movq (%r12), %rcx
leaq 0x237f(%rip), %rdi      # 0x4468
pushq $0x3a
popq %rsi
movq %r14, %rdx
callq 0x1190
movq (%r12), %rcx
leaq 0x23a4(%rip), %rdi      # 0x44a3
pushq $0x37
popq %rsi
movq %r14, %rdx
callq 0x1190
movq (%r12), %rcx
leaq 0x23c6(%rip), %rdi      # 0x44db
movq %r15, %rsi
movq %r14, %rdx
callq 0x1190
movq (%r12), %rcx
leaq 0x23ea(%rip), %rdi      # 0x4515
pushq $0x2b
popq %rsi
movq %r14, %rdx
callq 0x1190
movq (%r12), %rdi
leaq 0x2400(%rip), %rsi      # 0x4541
leaq 0x258b(%rip), %rcx      # 0x46d3
jmp 0x2300
movq 0x4ea4(%rip), %r12      # 0x6ff8
movq (%r12), %rdi
leaq 0x2226(%rip), %rsi      # 0x4385
leaq 0x2533(%rip), %rbx      # 0x4699
movq %rbx, %rdx
xorl %eax, %eax
callq 0x10d0
movq (%r12), %rcx
leaq 0x223e(%rip), %rdi      # 0x43b9
pushq $0x3b
popq %rsi
pushq $0x1
popq %r14
movq %r14, %rdx
callq 0x1190
movq (%r12), %rcx
leaq 0x2260(%rip), %rdi      # 0x43f5
pushq $0x39
popq %r15
movq %r15, %rsi
movq %r14, %rdx
callq 0x1190
movq (%r12), %rcx
leaq 0x2280(%rip), %rdi      # 0x442f
pushq $0x38
popq %rsi
movq %r14, %rdx
callq 0x1190
movq (%r12), %rcx
leaq 0x22a3(%rip), %rdi      # 0x4468
pushq $0x3a
popq %rsi
movq %r14, %rdx
callq 0x1190
movq (%r12), %rcx
leaq 0x22c8(%rip), %rdi      # 0x44a3
pushq $0x37
popq %rsi
movq %r14, %rdx
callq 0x1190
movq (%r12), %rcx
leaq 0x22ea(%rip), %rdi      # 0x44db
movq %r15, %rsi
movq %r14, %rdx
callq 0x1190
movq (%r12), %rcx
leaq 0x230e(%rip), %rdi      # 0x4515
pushq $0x2b
popq %rsi
movq %r14, %rdx
callq 0x1190
movq (%r12), %rdi
leaq 0x2324(%rip), %rsi      # 0x4541
leaq 0x24d7(%rip), %rcx      # 0x46fb
jmp 0x2300
movq 0x4dc8(%rip), %r12      # 0x6ff8
movq (%r12), %rdi
leaq 0x214a(%rip), %rsi      # 0x4385
leaq 0x2457(%rip), %rbx      # 0x4699
movq %rbx, %rdx
xorl %eax, %eax
callq 0x10d0
movq (%r12), %rcx
leaq 0x2162(%rip), %rdi      # 0x43b9
pushq $0x3b
popq %rsi
pushq $0x1
popq %r14
movq %r14, %rdx
callq 0x1190
movq (%r12), %rcx
leaq 0x2184(%rip), %rdi      # 0x43f5
pushq $0x39
popq %r15
movq %r15, %rsi
movq %r14, %rdx
callq 0x1190
movq (%r12), %rcx
leaq 0x21a4(%rip), %rdi      # 0x442f
pushq $0x38
popq %rsi
movq %r14, %rdx
callq 0x1190
movq (%r12), %rcx
leaq 0x21c7(%rip), %rdi      # 0x4468
pushq $0x3a
popq %rsi
movq %r14, %rdx
callq 0x1190
movq (%r12), %rcx
leaq 0x21ec(%rip), %rdi      # 0x44a3
pushq $0x37
popq %rsi
movq %r14, %rdx
callq 0x1190
movq (%r12), %rcx
leaq 0x220e(%rip), %rdi      # 0x44db
movq %r15, %rsi
movq %r14, %rdx
callq 0x1190
movq (%r12), %rcx
leaq 0x2232(%rip), %rdi      # 0x4515
pushq $0x2b
popq %rsi
movq %r14, %rdx
callq 0x1190
movq (%r12), %rdi
leaq 0x2248(%rip), %rsi      # 0x4541
leaq 0x2423(%rip), %rcx      # 0x4723
movq %rbx, %rdx
xorl %eax, %eax
callq 0x10d0
movq (%r12), %rcx
leaq 0x225e(%rip), %rdi      # 0x4573
pushq $0x20
popq %rsi
movq %r14, %rdx
callq 0x1190
movq (%r12), %rdi
leaq 0x2269(%rip), %rbx      # 0x4594
leaq 0x2280(%rip), %rdx      # 0x45b2
leaq 0x1ea6(%rip), %rcx      # 0x41df
movq %rbx, %rsi
xorl %eax, %eax
callq 0x10d0
movq (%r12), %rdi
leaq 0x2268(%rip), %rdx      # 0x45b6
leaq 0x1e0d(%rip), %rcx      # 0x4162
movq %rbx, %rsi
xorl %eax, %eax
callq 0x10d0
movq (%r12), %rsi
pushq $0xa
popq %rdi
callq 0x10a0
pushq $0x1
popq %rdi
callq 0x1180