// File: /workspace/github_c_makefile_star2_O0/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
subq $0x20, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
cmpq $0x0, -0x8(%rbp)
jne 0x2c3e
movq 0x65e6(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x396f(%rip), %rsi      # 0x638b
leaq 0x3c81(%rip), %rdx      # 0x66a4
movb $0x0, %al
callq 0x10c0
movq 0x65c7(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3984(%rip), %rsi      # 0x63bf
movb $0x0, %al
callq 0x10c0
movq 0x65af(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x39a8(%rip), %rsi      # 0x63fb
movb $0x0, %al
callq 0x10c0
movq 0x6597(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x39ca(%rip), %rsi      # 0x6435
movb $0x0, %al
callq 0x10c0
movq 0x657f(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x39eb(%rip), %rsi      # 0x646e
movb $0x0, %al
callq 0x10c0
movq 0x6567(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3a0e(%rip), %rsi      # 0x64a9
movb $0x0, %al
callq 0x10c0
movq 0x654f(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3a2e(%rip), %rsi      # 0x64e1
movb $0x0, %al
callq 0x10c0
movq 0x6537(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3a50(%rip), %rsi      # 0x651b
movb $0x0, %al
callq 0x10c0
movq 0x651f(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3a64(%rip), %rsi      # 0x6547
leaq 0x3bba(%rip), %rdx      # 0x66a4
leaq 0x3bb9(%rip), %rcx      # 0x66aa
movb $0x0, %al
callq 0x10c0
movq 0x64f9(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3a70(%rip), %rsi      # 0x6579
movb $0x0, %al
callq 0x10c0
movq 0x65c9(%rip), %rdi      # 0x90e0
callq 0x1070
cmpq $0x0, %rax
jbe 0x2b48
movq 0x64cf(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq 0x65ad(%rip), %rcx      # 0x90e0
leaq 0x3a60(%rip), %rsi      # 0x659a
leaq 0x3a66(%rip), %rdx      # 0x65a7
movb $0x0, %al
callq 0x10c0
movq 0x65b1(%rip), %rdi      # 0x9100
callq 0x1070
cmpq $0x0, %rax
jbe 0x2b80
movq 0x6497(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq 0x6595(%rip), %rcx      # 0x9100
leaq 0x3a28(%rip), %rsi      # 0x659a
leaq 0x3a33(%rip), %rdx      # 0x65ac
movb $0x0, %al
callq 0x10c0
movq 0x6561(%rip), %rdi      # 0x90e8
callq 0x1070
cmpq $0x0, %rax
jbe 0x2bb8
movq 0x645f(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq 0x6545(%rip), %rcx      # 0x90e8
leaq 0x39f0(%rip), %rsi      # 0x659a
leaq 0x3a03(%rip), %rdx      # 0x65b4
movb $0x0, %al
callq 0x10c0
movq -0x8(%rbp), %rdi
callq 0x1070
cmpq $0x0, %rax
jbe 0x2bea
movq 0x642a(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq -0x8(%rbp), %rcx
leaq 0x39be(%rip), %rsi      # 0x659a
leaq 0x39da(%rip), %rdx      # 0x65bd
movb $0x0, %al
callq 0x10c0
movq -0x10(%rbp), %rdi
callq 0x1070
cmpq $0x0, %rax
jbe 0x2c1c
movq 0x63f8(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq -0x10(%rbp), %rcx
leaq 0x398c(%rip), %rsi      # 0x659a
leaq 0x39ac(%rip), %rdx      # 0x65c1
movb $0x0, %al
callq 0x10c0
movq 0x63d5(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3787(%rip), %rsi      # 0x63b4
movb $0x0, %al
callq 0x10c0
movl $0x1, %edi
callq 0x1160
cmpq $0x0, -0x10(%rbp)
jne 0x2e7c
movq 0x63a8(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3731(%rip), %rsi      # 0x638b
leaq 0x3a43(%rip), %rdx      # 0x66a4
movb $0x0, %al
callq 0x10c0
movq 0x6389(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3746(%rip), %rsi      # 0x63bf
movb $0x0, %al
callq 0x10c0
movq 0x6371(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x376a(%rip), %rsi      # 0x63fb
movb $0x0, %al
callq 0x10c0
movq 0x6359(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x378c(%rip), %rsi      # 0x6435
movb $0x0, %al
callq 0x10c0
movq 0x6341(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x37ad(%rip), %rsi      # 0x646e
movb $0x0, %al
callq 0x10c0
movq 0x6329(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x37d0(%rip), %rsi      # 0x64a9
movb $0x0, %al
callq 0x10c0
movq 0x6311(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x37f0(%rip), %rsi      # 0x64e1
movb $0x0, %al
callq 0x10c0
movq 0x62f9(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3812(%rip), %rsi      # 0x651b
movb $0x0, %al
callq 0x10c0
movq 0x62e1(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3826(%rip), %rsi      # 0x6547
leaq 0x397c(%rip), %rdx      # 0x66a4
leaq 0x3995(%rip), %rcx      # 0x66c4
movb $0x0, %al
callq 0x10c0
movq 0x62bb(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3832(%rip), %rsi      # 0x6579
movb $0x0, %al
callq 0x10c0
movq 0x638b(%rip), %rdi      # 0x90e0
callq 0x1070
cmpq $0x0, %rax
jbe 0x2d86
movq 0x6291(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq 0x636f(%rip), %rcx      # 0x90e0
leaq 0x3822(%rip), %rsi      # 0x659a
leaq 0x3828(%rip), %rdx      # 0x65a7
movb $0x0, %al
callq 0x10c0
movq 0x6373(%rip), %rdi      # 0x9100
callq 0x1070
cmpq $0x0, %rax
jbe 0x2dbe
movq 0x6259(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq 0x6357(%rip), %rcx      # 0x9100
leaq 0x37ea(%rip), %rsi      # 0x659a
leaq 0x37f5(%rip), %rdx      # 0x65ac
movb $0x0, %al
callq 0x10c0
movq 0x6323(%rip), %rdi      # 0x90e8
callq 0x1070
cmpq $0x0, %rax
jbe 0x2df6
movq 0x6221(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq 0x6307(%rip), %rcx      # 0x90e8
leaq 0x37b2(%rip), %rsi      # 0x659a
leaq 0x37c5(%rip), %rdx      # 0x65b4
movb $0x0, %al
callq 0x10c0
movq -0x8(%rbp), %rdi
callq 0x1070
cmpq $0x0, %rax
jbe 0x2e28
movq 0x61ec(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq -0x8(%rbp), %rcx
leaq 0x3780(%rip), %rsi      # 0x659a
leaq 0x379c(%rip), %rdx      # 0x65bd
movb $0x0, %al
callq 0x10c0
movq -0x10(%rbp), %rdi
callq 0x1070
cmpq $0x0, %rax
jbe 0x2e5a
movq 0x61ba(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq -0x10(%rbp), %rcx
leaq 0x374e(%rip), %rsi      # 0x659a
leaq 0x376e(%rip), %rdx      # 0x65c1
movb $0x0, %al
callq 0x10c0
movq 0x6197(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3549(%rip), %rsi      # 0x63b4
movb $0x0, %al
callq 0x10c0
movl $0x1, %edi
callq 0x1160
movq -0x8(%rbp), %rdi
callq 0x5610
cmpl $0x0, %eax
jne 0x30c1
movq 0x6163(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x34ec(%rip), %rsi      # 0x638b
leaq 0x37fe(%rip), %rdx      # 0x66a4
movb $0x0, %al
callq 0x10c0
movq 0x6144(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3501(%rip), %rsi      # 0x63bf
movb $0x0, %al
callq 0x10c0
movq 0x612c(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3525(%rip), %rsi      # 0x63fb
movb $0x0, %al
callq 0x10c0
movq 0x6114(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3547(%rip), %rsi      # 0x6435
movb $0x0, %al
callq 0x10c0
movq 0x60fc(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3568(%rip), %rsi      # 0x646e
movb $0x0, %al
callq 0x10c0
movq 0x60e4(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x358b(%rip), %rsi      # 0x64a9
movb $0x0, %al
callq 0x10c0
movq 0x60cc(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x35ab(%rip), %rsi      # 0x64e1
movb $0x0, %al
callq 0x10c0
movq 0x60b4(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x35cd(%rip), %rsi      # 0x651b
movb $0x0, %al
callq 0x10c0
movq 0x609c(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x35e1(%rip), %rsi      # 0x6547
leaq 0x3737(%rip), %rdx      # 0x66a4
leaq 0x376a(%rip), %rcx      # 0x66de
movb $0x0, %al
callq 0x10c0
movq 0x6076(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x35ed(%rip), %rsi      # 0x6579
movb $0x0, %al
callq 0x10c0
movq 0x6146(%rip), %rdi      # 0x90e0
callq 0x1070
cmpq $0x0, %rax
jbe 0x2fcb
movq 0x604c(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq 0x612a(%rip), %rcx      # 0x90e0
leaq 0x35dd(%rip), %rsi      # 0x659a
leaq 0x35e3(%rip), %rdx      # 0x65a7
movb $0x0, %al
callq 0x10c0
movq 0x612e(%rip), %rdi      # 0x9100
callq 0x1070
cmpq $0x0, %rax
jbe 0x3003
movq 0x6014(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq 0x6112(%rip), %rcx      # 0x9100
leaq 0x35a5(%rip), %rsi      # 0x659a
leaq 0x35b0(%rip), %rdx      # 0x65ac
movb $0x0, %al
callq 0x10c0
movq 0x60de(%rip), %rdi      # 0x90e8
callq 0x1070
cmpq $0x0, %rax
jbe 0x303b
movq 0x5fdc(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq 0x60c2(%rip), %rcx      # 0x90e8
leaq 0x356d(%rip), %rsi      # 0x659a
leaq 0x3580(%rip), %rdx      # 0x65b4
movb $0x0, %al
callq 0x10c0
movq -0x8(%rbp), %rdi
callq 0x1070
cmpq $0x0, %rax
jbe 0x306d
movq 0x5fa7(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq -0x8(%rbp), %rcx
leaq 0x353b(%rip), %rsi      # 0x659a
leaq 0x3557(%rip), %rdx      # 0x65bd
movb $0x0, %al
callq 0x10c0
movq -0x10(%rbp), %rdi
callq 0x1070
cmpq $0x0, %rax
jbe 0x309f
movq 0x5f75(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq -0x10(%rbp), %rcx
leaq 0x3509(%rip), %rsi      # 0x659a
leaq 0x3529(%rip), %rdx      # 0x65c1
movb $0x0, %al
callq 0x10c0
movq 0x5f52(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3304(%rip), %rsi      # 0x63b4
movb $0x0, %al
callq 0x10c0
movl $0x1, %edi
callq 0x1160
movq -0x10(%rbp), %rdi
callq 0x5610
cmpl $0x0, %eax
jne 0x3306
movq 0x5f1e(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x32a7(%rip), %rsi      # 0x638b
leaq 0x35b9(%rip), %rdx      # 0x66a4
movb $0x0, %al
callq 0x10c0
movq 0x5eff(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x32bc(%rip), %rsi      # 0x63bf
movb $0x0, %al
callq 0x10c0
movq 0x5ee7(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x32e0(%rip), %rsi      # 0x63fb
movb $0x0, %al
callq 0x10c0
movq 0x5ecf(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3302(%rip), %rsi      # 0x6435
movb $0x0, %al
callq 0x10c0
movq 0x5eb7(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3323(%rip), %rsi      # 0x646e
movb $0x0, %al
callq 0x10c0
movq 0x5e9f(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3346(%rip), %rsi      # 0x64a9
movb $0x0, %al
callq 0x10c0
movq 0x5e87(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3366(%rip), %rsi      # 0x64e1
movb $0x0, %al
callq 0x10c0
movq 0x5e6f(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3388(%rip), %rsi      # 0x651b
movb $0x0, %al
callq 0x10c0
movq 0x5e57(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x339c(%rip), %rsi      # 0x6547
leaq 0x34f2(%rip), %rdx      # 0x66a4
leaq 0x354d(%rip), %rcx      # 0x6706
movb $0x0, %al
callq 0x10c0
movq 0x5e31(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x33a8(%rip), %rsi      # 0x6579
movb $0x0, %al
callq 0x10c0
movq 0x5f01(%rip), %rdi      # 0x90e0
callq 0x1070
cmpq $0x0, %rax
jbe 0x3210
movq 0x5e07(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq 0x5ee5(%rip), %rcx      # 0x90e0
leaq 0x3398(%rip), %rsi      # 0x659a
leaq 0x339e(%rip), %rdx      # 0x65a7
movb $0x0, %al
callq 0x10c0
movq 0x5ee9(%rip), %rdi      # 0x9100
callq 0x1070
cmpq $0x0, %rax
jbe 0x3248
movq 0x5dcf(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq 0x5ecd(%rip), %rcx      # 0x9100
leaq 0x3360(%rip), %rsi      # 0x659a
leaq 0x336b(%rip), %rdx      # 0x65ac
movb $0x0, %al
callq 0x10c0
movq 0x5e99(%rip), %rdi      # 0x90e8
callq 0x1070
cmpq $0x0, %rax
jbe 0x3280
movq 0x5d97(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq 0x5e7d(%rip), %rcx      # 0x90e8
leaq 0x3328(%rip), %rsi      # 0x659a
leaq 0x333b(%rip), %rdx      # 0x65b4
movb $0x0, %al
callq 0x10c0
movq -0x8(%rbp), %rdi
callq 0x1070
cmpq $0x0, %rax
jbe 0x32b2
movq 0x5d62(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq -0x8(%rbp), %rcx
leaq 0x32f6(%rip), %rsi      # 0x659a
leaq 0x3312(%rip), %rdx      # 0x65bd
movb $0x0, %al
callq 0x10c0
movq -0x10(%rbp), %rdi
callq 0x1070
cmpq $0x0, %rax
jbe 0x32e4
movq 0x5d30(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq -0x10(%rbp), %rcx
leaq 0x32c4(%rip), %rsi      # 0x659a
leaq 0x32e4(%rip), %rdx      # 0x65c1
movb $0x0, %al
callq 0x10c0
movq 0x5d0d(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x30bf(%rip), %rsi      # 0x63b4
movb $0x0, %al
callq 0x10c0
movl $0x1, %edi
callq 0x1160
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x1120
movl %eax, -0x14(%rbp)
cmpl $0x0, -0x14(%rbp)
je 0x3553
movq 0x5cd1(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x305a(%rip), %rsi      # 0x638b
leaq 0x336c(%rip), %rdx      # 0x66a4
movb $0x0, %al
callq 0x10c0
movq 0x5cb2(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x306f(%rip), %rsi      # 0x63bf
movb $0x0, %al
callq 0x10c0
movq 0x5c9a(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3093(%rip), %rsi      # 0x63fb
movb $0x0, %al
callq 0x10c0
movq 0x5c82(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x30b5(%rip), %rsi      # 0x6435
movb $0x0, %al
callq 0x10c0
movq 0x5c6a(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x30d6(%rip), %rsi      # 0x646e
movb $0x0, %al
callq 0x10c0
movq 0x5c52(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x30f9(%rip), %rsi      # 0x64a9
movb $0x0, %al
callq 0x10c0
movq 0x5c3a(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x3119(%rip), %rsi      # 0x64e1
movb $0x0, %al
callq 0x10c0
movq 0x5c22(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x313b(%rip), %rsi      # 0x651b
movb $0x0, %al
callq 0x10c0
movq 0x5c0a(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x314f(%rip), %rsi      # 0x6547
leaq 0x32a5(%rip), %rdx      # 0x66a4
leaq 0x3328(%rip), %rcx      # 0x672e
movb $0x0, %al
callq 0x10c0
movq 0x5be4(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x315b(%rip), %rsi      # 0x6579
movb $0x0, %al
callq 0x10c0
movq 0x5cb4(%rip), %rdi      # 0x90e0
callq 0x1070
cmpq $0x0, %rax
jbe 0x345d
movq 0x5bba(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq 0x5c98(%rip), %rcx      # 0x90e0
leaq 0x314b(%rip), %rsi      # 0x659a
leaq 0x3151(%rip), %rdx      # 0x65a7
movb $0x0, %al
callq 0x10c0
movq 0x5c9c(%rip), %rdi      # 0x9100
callq 0x1070
cmpq $0x0, %rax
jbe 0x3495
movq 0x5b82(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq 0x5c80(%rip), %rcx      # 0x9100
leaq 0x3113(%rip), %rsi      # 0x659a
leaq 0x311e(%rip), %rdx      # 0x65ac
movb $0x0, %al
callq 0x10c0
movq 0x5c4c(%rip), %rdi      # 0x90e8
callq 0x1070
cmpq $0x0, %rax
jbe 0x34cd
movq 0x5b4a(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq 0x5c30(%rip), %rcx      # 0x90e8
leaq 0x30db(%rip), %rsi      # 0x659a
leaq 0x30ee(%rip), %rdx      # 0x65b4
movb $0x0, %al
callq 0x10c0
movq -0x8(%rbp), %rdi
callq 0x1070
cmpq $0x0, %rax
jbe 0x34ff
movq 0x5b15(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq -0x8(%rbp), %rcx
leaq 0x30a9(%rip), %rsi      # 0x659a
leaq 0x30c5(%rip), %rdx      # 0x65bd
movb $0x0, %al
callq 0x10c0
movq -0x10(%rbp), %rdi
callq 0x1070
cmpq $0x0, %rax
jbe 0x3531
movq 0x5ae3(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
movq -0x10(%rbp), %rcx
leaq 0x3077(%rip), %rsi      # 0x659a
leaq 0x3097(%rip), %rdx      # 0x65c1
movb $0x0, %al
callq 0x10c0
movq 0x5ac0(%rip), %rax      # 0x8ff8
movq (%rax), %rdi
leaq 0x2e72(%rip), %rsi      # 0x63b4
movb $0x0, %al
callq 0x10c0
movl $0x1, %edi
callq 0x1160
addq $0x20, %rsp
popq %rbp
retq
nopl (%rax)