// File: /workspace/github_c_makefile_star2_O3/nilyang[P]redis-tdd-annotation/src/config.c
// Function: rewriteConfig
int rewriteConfig(char *path) {
    struct rewriteConfigState *state;
    sds newcontent;
    int retval;

    /* Step 1: read the old config into our rewrite state. */
    if ((state = rewriteConfigReadOldFile(path)) == NULL) return -1;

    /* Step 2: rewrite every single option, replacing or appending it inside
     * the rewrite state. */

    rewriteConfigYesNoOption(state,"daemonize",server.daemonize,0);
    rewriteConfigStringOption(state,"pidfile",server.pidfile,REDIS_DEFAULT_PID_FILE);
    rewriteConfigNumericalOption(state,"port",server.port,REDIS_SERVERPORT);
    rewriteConfigNumericalOption(state,"tcp-backlog",server.tcp_backlog,REDIS_TCP_BACKLOG);
    rewriteConfigBindOption(state);
    rewriteConfigStringOption(state,"unixsocket",server.unixsocket,NULL);
    rewriteConfigOctalOption(state,"unixsocketperm",server.unixsocketperm,REDIS_DEFAULT_UNIX_SOCKET_PERM);
    rewriteConfigNumericalOption(state,"timeout",server.maxidletime,REDIS_MAXIDLETIME);
    rewriteConfigNumericalOption(state,"tcp-keepalive",server.tcpkeepalive,REDIS_DEFAULT_TCP_KEEPALIVE);
    rewriteConfigEnumOption(state,"loglevel",server.verbosity,
        "debug", REDIS_DEBUG,
        "verbose", REDIS_VERBOSE,
        "notice", REDIS_NOTICE,
        "warning", REDIS_WARNING,
        NULL, REDIS_DEFAULT_VERBOSITY);
    rewriteConfigStringOption(state,"logfile",server.logfile,REDIS_DEFAULT_LOGFILE);
    rewriteConfigYesNoOption(state,"syslog-enabled",server.syslog_enabled,REDIS_DEFAULT_SYSLOG_ENABLED);
    rewriteConfigStringOption(state,"syslog-ident",server.syslog_ident,REDIS_DEFAULT_SYSLOG_IDENT);
    rewriteConfigSyslogfacilityOption(state);
    rewriteConfigSaveOption(state);
    rewriteConfigNumericalOption(state,"databases",server.dbnum,REDIS_DEFAULT_DBNUM);
    rewriteConfigYesNoOption(state,"stop-writes-on-bgsave-error",server.stop_writes_on_bgsave_err,REDIS_DEFAULT_STOP_WRITES_ON_BGSAVE_ERROR);
    rewriteConfigYesNoOption(state,"rdbcompression",server.rdb_compression,REDIS_DEFAULT_RDB_COMPRESSION);
    rewriteConfigYesNoOption(state,"rdbchecksum",server.rdb_checksum,REDIS_DEFAULT_RDB_CHECKSUM);
    rewriteConfigStringOption(state,"dbfilename",server.rdb_filename,REDIS_DEFAULT_RDB_FILENAME);
    rewriteConfigDirOption(state);
    rewriteConfigSlaveofOption(state);
    rewriteConfigStringOption(state,"masterauth",server.masterauth,NULL);
    rewriteConfigYesNoOption(state,"slave-serve-stale-data",server.repl_serve_stale_data,REDIS_DEFAULT_SLAVE_SERVE_STALE_DATA);
    rewriteConfigYesNoOption(state,"slave-read-only",server.repl_slave_ro,REDIS_DEFAULT_SLAVE_READ_ONLY);
    rewriteConfigNumericalOption(state,"repl-ping-slave-period",server.repl_ping_slave_period,REDIS_REPL_PING_SLAVE_PERIOD);
    rewriteConfigNumericalOption(state,"repl-timeout",server.repl_timeout,REDIS_REPL_TIMEOUT);
    rewriteConfigBytesOption(state,"repl-backlog-size",server.repl_backlog_size,REDIS_DEFAULT_REPL_BACKLOG_SIZE);
    rewriteConfigBytesOption(state,"repl-backlog-ttl",server.repl_backlog_time_limit,REDIS_DEFAULT_REPL_BACKLOG_TIME_LIMIT);
    rewriteConfigYesNoOption(state,"repl-disable-tcp-nodelay",server.repl_disable_tcp_nodelay,REDIS_DEFAULT_REPL_DISABLE_TCP_NODELAY);
    rewriteConfigNumericalOption(state,"slave-priority",server.slave_priority,REDIS_DEFAULT_SLAVE_PRIORITY);
    rewriteConfigNumericalOption(state,"min-slaves-to-write",server.repl_min_slaves_to_write,REDIS_DEFAULT_MIN_SLAVES_TO_WRITE);
    rewriteConfigNumericalOption(state,"min-slaves-max-lag",server.repl_min_slaves_max_lag,REDIS_DEFAULT_MIN_SLAVES_MAX_LAG);
    rewriteConfigStringOption(state,"requirepass",server.requirepass,NULL);
    rewriteConfigNumericalOption(state,"maxclients",server.maxclients,REDIS_MAX_CLIENTS);
    rewriteConfigBytesOption(state,"maxmemory",server.maxmemory,REDIS_DEFAULT_MAXMEMORY);
    rewriteConfigEnumOption(state,"maxmemory-policy",server.maxmemory_policy,
        "volatile-lru", REDIS_MAXMEMORY_VOLATILE_LRU,
        "allkeys-lru", REDIS_MAXMEMORY_ALLKEYS_LRU,
        "volatile-random", REDIS_MAXMEMORY_VOLATILE_RANDOM,
        "allkeys-random", REDIS_MAXMEMORY_ALLKEYS_RANDOM,
        "volatile-ttl", REDIS_MAXMEMORY_VOLATILE_TTL,
        "noeviction", REDIS_MAXMEMORY_NO_EVICTION,
        NULL, REDIS_DEFAULT_MAXMEMORY_POLICY);
    rewriteConfigNumericalOption(state,"maxmemory-samples",server.maxmemory_samples,REDIS_DEFAULT_MAXMEMORY_SAMPLES);
    rewriteConfigYesNoOption(state,"appendonly",server.aof_state != REDIS_AOF_OFF,0);
    rewriteConfigStringOption(state,"appendfilename",server.aof_filename,REDIS_DEFAULT_AOF_FILENAME);
    rewriteConfigEnumOption(state,"appendfsync",server.aof_fsync,
        "everysec", AOF_FSYNC_EVERYSEC,
        "always", AOF_FSYNC_ALWAYS,
        "no", AOF_FSYNC_NO,
        NULL, REDIS_DEFAULT_AOF_FSYNC);
    rewriteConfigYesNoOption(state,"no-appendfsync-on-rewrite",server.aof_no_fsync_on_rewrite,REDIS_DEFAULT_AOF_NO_FSYNC_ON_REWRITE);
    rewriteConfigNumericalOption(state,"auto-aof-rewrite-percentage",server.aof_rewrite_perc,REDIS_AOF_REWRITE_PERC);
    rewriteConfigBytesOption(state,"auto-aof-rewrite-min-size",server.aof_rewrite_min_size,REDIS_AOF_REWRITE_MIN_SIZE);
    rewriteConfigNumericalOption(state,"lua-time-limit",server.lua_time_limit,REDIS_LUA_TIME_LIMIT);
    rewriteConfigYesNoOption(state,"cluster-enabled",server.cluster_enabled,0);
    rewriteConfigStringOption(state,"cluster-config-file",server.cluster_configfile,REDIS_DEFAULT_CLUSTER_CONFIG_FILE);
    rewriteConfigNumericalOption(state,"cluster-node-timeout",server.cluster_node_timeout,REDIS_CLUSTER_DEFAULT_NODE_TIMEOUT);
    rewriteConfigNumericalOption(state,"cluster-migration-barrier",server.cluster_migration_barrier,REDIS_CLUSTER_DEFAULT_MIGRATION_BARRIER);
    rewriteConfigNumericalOption(state,"slowlog-log-slower-than",server.slowlog_log_slower_than,REDIS_SLOWLOG_LOG_SLOWER_THAN);
    rewriteConfigNumericalOption(state,"slowlog-max-len",server.slowlog_max_len,REDIS_SLOWLOG_MAX_LEN);
    rewriteConfigNotifykeyspaceeventsOption(state);
    rewriteConfigNumericalOption(state,"hash-max-ziplist-entries",server.hash_max_ziplist_entries,REDIS_HASH_MAX_ZIPLIST_ENTRIES);
    rewriteConfigNumericalOption(state,"hash-max-ziplist-value",server.hash_max_ziplist_value,REDIS_HASH_MAX_ZIPLIST_VALUE);
    rewriteConfigNumericalOption(state,"list-max-ziplist-entries",server.list_max_ziplist_entries,REDIS_LIST_MAX_ZIPLIST_ENTRIES);
    rewriteConfigNumericalOption(state,"list-max-ziplist-value",server.list_max_ziplist_value,REDIS_LIST_MAX_ZIPLIST_VALUE);
    rewriteConfigNumericalOption(state,"set-max-intset-entries",server.set_max_intset_entries,REDIS_SET_MAX_INTSET_ENTRIES);
    rewriteConfigNumericalOption(state,"zset-max-ziplist-entries",server.zset_max_ziplist_entries,REDIS_ZSET_MAX_ZIPLIST_ENTRIES);
    rewriteConfigNumericalOption(state,"zset-max-ziplist-value",server.zset_max_ziplist_value,REDIS_ZSET_MAX_ZIPLIST_VALUE);
    rewriteConfigNumericalOption(state,"hll-sparse-max-bytes",server.hll_sparse_max_bytes,REDIS_DEFAULT_HLL_SPARSE_MAX_BYTES);
    rewriteConfigYesNoOption(state,"activerehashing",server.activerehashing,REDIS_DEFAULT_ACTIVE_REHASHING);
    rewriteConfigClientoutputbufferlimitOption(state);
    rewriteConfigNumericalOption(state,"hz",server.hz,REDIS_DEFAULT_HZ);
    rewriteConfigYesNoOption(state,"aof-rewrite-incremental-fsync",server.aof_rewrite_incremental_fsync,REDIS_DEFAULT_AOF_REWRITE_INCREMENTAL_FSYNC);
    if (server.sentinel_mode) rewriteConfigSentinelOption(state);

    /* Step 3: remove all the orphaned lines in the old file, that is, lines
     * that were used by a config option and are no longer used, like in case
     * of multiple "save" options or duplicated options. */
    rewriteConfigRemoveOrphaned(state);

    /* Step 4: generate a new configuration file from the modified state
     * and write it into the original file. */
    newcontent = rewriteConfigGetContentFromState(state);
    retval = rewriteConfigOverwriteFile(server.configfile,newcontent);

    sdsfree(newcontent);
    rewriteConfigReleaseState(state);
    return retval;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
callq 0x47859
testq %rax, %rax
je 0x48cd2
movq %rax, %rbx
leaq 0x81a16(%rip), %r15     # 0xc9fa8
movl 0x484(%r15), %edx
leaq 0x515fe(%rip), %rsi     # 0x99b9e
xorl %r14d, %r14d
movq %rax, %rdi
xorl %ecx, %ecx
callq 0x47c5d
movq 0x48(%r15), %rdx
leaq 0x51761(%rip), %rsi     # 0x99d19
leaq 0x4c798(%rip), %rcx     # 0x94d57
movq %rbx, %rdi
callq 0x47cbb
movslq 0x88(%r15), %rdx
leaq 0x511ad(%rip), %rsi     # 0x99782
movl $0x18eb, %ecx           # imm = 0x18EB
movq %rbx, %rdi
callq 0x47d50
movslq 0x8c(%r15), %rdx
leaq 0x51197(%rip), %rsi     # 0x99787
movl $0x1ff, %ecx            # imm = 0x1FF
movq %rbx, %rdi
callq 0x47d50
movq %rbx, %rdi
callq 0x48284
movq 0x118(%r15), %rdx
leaq 0x511bd(%rip), %rsi     # 0x997d0
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x47cbb
movl 0x120(%r15), %edx
leaq 0x511b0(%rip), %rsi     # 0x997db
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x47d9f
movslq 0x468(%r15), %rdx
leaq 0x51850(%rip), %rsi     # 0x99e93
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x47d50
movslq 0x46c(%r15), %rdx
leaq 0x510f5(%rip), %rsi     # 0x99750
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x47d50
movl 0x464(%r15), %edx
subq $0x8, %rsp
movl $0x2, %r13d
movl $0x3, %ebp
leaq 0x51205(%rip), %r10     # 0x99887
leaq 0x511c6(%rip), %r11     # 0x9984f
movl $0x1, %r12d
leaq 0x511a8(%rip), %rsi     # 0x9983e
leaq 0x5b1fb(%rip), %rcx     # 0xa3898
leaq 0x511a3(%rip), %r9      # 0x99847
movq %rbx, %rdi
movl $0x0, %r8d
movl $0x0, %eax
pushq %r13
pushq %r14
pushq %rbp
pushq %r10
pushq %r13
pushq %r11
pushq %r12
callq 0x47deb
addq $0x40, %rsp
movq 0x5d0(%r15), %rdx
leaq 0x511b9(%rip), %rsi     # 0x9988f
leaq 0x4ec64(%rip), %rcx     # 0x97341
movq %rbx, %rdi
callq 0x47cbb
movl 0x5d8(%r15), %edx
leaq 0x511c0(%rip), %rsi     # 0x998b3
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x47c5d
movq 0x5e0(%r15), %rdx
leaq 0x511d6(%rip), %rsi     # 0x998e1
leaq 0x4c63f(%rip), %rcx     # 0x94d51
movq %rbx, %rdi
callq 0x47cbb
movq %rbx, %rdi
callq 0x47f0c
movq %rbx, %rdi
callq 0x47f9f
movslq 0x480(%r15), %rdx
leaq 0x5121b(%rip), %rsi     # 0x99953
movl $0x10, %ecx
movq %rbx, %rdi
callq 0x47d50
movl 0x5bc(%r15), %edx
leaq 0x5185d(%rip), %rsi     # 0x99fb0
movq %rbx, %rdi
movl $0x1, %ecx
callq 0x47c5d
movl 0x590(%r15), %edx
leaq 0x51405(%rip), %rsi     # 0x99b73
movq %rbx, %rdi
movl $0x1, %ecx
callq 0x47c5d
movl 0x594(%r15), %edx
leaq 0x513f9(%rip), %rsi     # 0x99b82
movq %rbx, %rdi
movl $0x1, %ecx
callq 0x47c5d
movq 0x588(%r15), %rdx
leaq 0x5157d(%rip), %rsi     # 0x99d21
leaq 0x4c5bf(%rip), %rcx     # 0x94d6a
movq %rbx, %rdi
callq 0x47cbb
movq %rbx, %rdi
callq 0x4803c
movq %rbx, %rdi
callq 0x48080
movq 0x648(%r15), %rdx
leaq 0x51370(%rip), %rsi     # 0x99b41
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x47cbb
movl 0x6a8(%r15), %edx
leaq 0x51363(%rip), %rsi     # 0x99b4c
movq %rbx, %rdi
movl $0x1, %ecx
callq 0x47c5d
movl 0x6ac(%r15), %edx
leaq 0x5135f(%rip), %rsi     # 0x99b63
movq %rbx, %rdi
movl $0x1, %ecx
callq 0x47c5d
movslq 0x5f8(%r15), %rdx
leaq 0x51228(%rip), %rsi     # 0x99a47
movl $0xa, %ecx
movq %rbx, %rdi
callq 0x47d50
movslq 0x65c(%r15), %rdx
leaq 0x51250(%rip), %rsi     # 0x99a8a
movl $0x3c, %ecx
movq %rbx, %rdi
callq 0x47d50
movq 0x608(%r15), %rdx
leaq 0x5127d(%rip), %rsi     # 0x99ad2
movl $0x100000, %ecx         # imm = 0x100000
movq %rbx, %rdi
callq 0x47bfd
movq 0x628(%r15), %rdx
leaq 0x5129c(%rip), %rsi     # 0x99b0c
movl $0xe10, %ecx            # imm = 0xE10
movq %rbx, %rdi
callq 0x47bfd
movl 0x6b8(%r15), %edx
leaq 0x5122e(%rip), %rsi     # 0x99ab9
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x47c5d
movslq 0x6bc(%r15), %rdx
leaq 0x51729(%rip), %rsi     # 0x99fcc
movl $0x64, %ecx
movq %rbx, %rdi
callq 0x47d50
movslq 0x638(%r15), %rdx
leaq 0x5171d(%rip), %rsi     # 0x99fdb
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x47d50
movslq 0x63c(%r15), %rdx
leaq 0x51740(%rip), %rsi     # 0x9a016
movl $0xa, %ecx
movq %rbx, %rdi
callq 0x47d50
movq 0x40(%r15), %rdx
leaq 0x513f0(%rip), %rsi     # 0x99cde
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x47cbb
movslq 0x71c(%r15), %rdx
leaq 0x5105f(%rip), %rsi     # 0x99965
movl $0x2710, %ecx           # imm = 0x2710
movq %rbx, %rdi
callq 0x47d50
movq 0x720(%r15), %rdx
leaq 0x51069(%rip), %rsi     # 0x9998a
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x47bfd
movl 0x728(%r15), %edx
subq $0x8, %rsp
movl $0x5, %r11d
leaq 0x510a7(%rip), %r14     # 0x999ea
leaq 0x51078(%rip), %rbp     # 0x999c2
leaq 0x5108a(%rip), %r12     # 0x999db
leaq 0x5105a(%rip), %r10     # 0x999b2
leaq 0x51035(%rip), %rsi     # 0x99994
leaq 0x5103f(%rip), %rcx     # 0x999a5
leaq 0x51062(%rip), %r9      # 0x999cf
movq %rbx, %rdi
movl $0x0, %r8d
movl $0x0, %eax
pushq %r11
movl $0x0, %r13d
pushq %r13
pushq %r11
pushq %r14
movl $0x1, %r14d
pushq %r14
pushq %rbp
pushq $0x4
pushq %r12
movl $0x2, %r12d
pushq %r12
pushq %r10
movl $0x3, %r10d
pushq %r10
callq 0x47deb
addq $0x60, %rsp
movslq 0x72c(%r15), %rdx
leaq 0x5104f(%rip), %rsi     # 0x99a0e
movl $0x5, %ecx
movq %rbx, %rdi
callq 0x47d50
xorl %edx, %edx
cmpl $0x0, 0x4d0(%r15)
setne %dl
leaq 0x511cb(%rip), %rsi     # 0x99bab
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x47c5d
movq 0x4d8(%r15), %rdx
leaq 0x511be(%rip), %rsi     # 0x99bb6
leaq 0x4c374(%rip), %rcx     # 0x94d73
movq %rbx, %rdi
callq 0x47cbb
movl 0x4d4(%r15), %edx
subq $0x8, %rsp
leaq 0x4fc29(%rip), %r10     # 0x98642
leaq 0x511ef(%rip), %rsi     # 0x99c0f
leaq 0x511fb(%rip), %rcx     # 0x99c22
leaq 0x511ed(%rip), %r9      # 0x99c1b
movq %rbx, %rdi
movl $0x2, %r8d
movl $0x0, %eax
pushq %r12
pushq %r13
pushq $0x0
pushq %r10
pushq %r14
callq 0x47deb
addq $0x30, %rsp
movl 0x4e0(%r15), %edx
leaq 0x51198(%rip), %rsi     # 0x99bf5
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x47c5d
movslq 0x4e4(%r15), %rdx
leaq 0x511e4(%rip), %rsi     # 0x99c59
movl $0x64, %ecx
movq %rbx, %rdi
callq 0x47d50
movq 0x4e8(%r15), %rdx
leaq 0x51216(%rip), %rsi     # 0x99ca6
movl $0x4000000, %ecx        # imm = 0x4000000
movq %rbx, %rdi
callq 0x47bfd
movq 0x800(%r15), %rdx
leaq 0x5145f(%rip), %rsi     # 0x99f0a
movl $0x1388, %ecx           # imm = 0x1388
movq %rbx, %rdi
callq 0x47d50
movl 0x7bc(%r15), %edx
leaq 0x5139c(%rip), %rsi     # 0x99e62
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x47c5d
movq 0x7c8(%r15), %rdx
leaq 0x51394(%rip), %rsi     # 0x99e72
leaq 0x4c29d(%rip), %rcx     # 0x94d82
movq %rbx, %rdi
callq 0x47cbb
movq 0x7c0(%r15), %rdx
leaq 0x5138b(%rip), %rsi     # 0x99e86
movl $0x3a98, %ecx           # imm = 0x3A98
movq %rbx, %rdi
callq 0x47d50
movslq 0x7d8(%r15), %rdx
leaq 0x513af(%rip), %rsi     # 0x99ec5
movl $0x1, %ecx
movq %rbx, %rdi
callq 0x47d50
movq 0x3b8(%r15), %rdx
leaq 0x513e8(%rip), %rsi     # 0x99f19
movl $0x2710, %ecx           # imm = 0x2710
movq %rbx, %rdi
callq 0x47d50
movq 0x3c0(%r15), %rdx
leaq 0x513e5(%rip), %rsi     # 0x99f31
movl $0x80, %ecx
movq %rbx, %rdi
callq 0x47d50
movq %rbx, %rdi
callq 0x48100
movq 0x758(%r15), %rdx
leaq 0x511e9(%rip), %rsi     # 0x99d58
movl $0x200, %ecx            # imm = 0x200
movq %rbx, %rdi
callq 0x47d50
movq 0x760(%r15), %rdx
leaq 0x511e7(%rip), %rsi     # 0x99d71
movl $0x40, %ecx
movq %rbx, %rdi
callq 0x47d50
movq 0x768(%r15), %rdx
leaq 0x511e3(%rip), %rsi     # 0x99d88
movl $0x200, %ecx            # imm = 0x200
movq %rbx, %rdi
callq 0x47d50
movq 0x770(%r15), %rdx
leaq 0x511e1(%rip), %rsi     # 0x99da1
movl $0x40, %ecx
movq %rbx, %rdi
callq 0x47d50
movq 0x778(%r15), %rdx
leaq 0x511dd(%rip), %rsi     # 0x99db8
movl $0x200, %ecx            # imm = 0x200
movq %rbx, %rdi
callq 0x47d50
movq 0x780(%r15), %rdx
leaq 0x511d9(%rip), %rsi     # 0x99dcf
movl $0x80, %ecx
movq %rbx, %rdi
callq 0x47d50
movq 0x788(%r15), %rdx
leaq 0x511d7(%rip), %rsi     # 0x99de8
movl $0x40, %ecx
movq %rbx, %rdi
callq 0x47d50
movq 0x790(%r15), %rdx
leaq 0x511d3(%rip), %rsi     # 0x99dff
movl $0xbb8, %ecx            # imm = 0xBB8
movq %rbx, %rdi
callq 0x47d50
movl 0x38(%r15), %edx
leaq 0x50f4a(%rip), %rsi     # 0x99b8e
movq %rbx, %rdi
movl $0x1, %ecx
callq 0x47c5d
movq %rbx, %rdi
callq 0x4817d
movslq 0x8(%r15), %rdx
leaq 0x50f44(%rip), %rsi     # 0x99ba8
movl $0xa, %ecx
movq %rbx, %rdi
callq 0x47d50
movl 0x550(%r15), %edx
leaq 0x51041(%rip), %rsi     # 0x99cc0
movq %rbx, %rdi
movl $0x1, %ecx
callq 0x47c5d
cmpl $0x0, 0x84(%r15)
je 0x48c9e
movq %rbx, %rdi
callq 0x5cac3
movq %rbx, %rdi
callq 0x483c8
movq %rbx, %rdi
callq 0x4832b
movq %rax, %r14
movq (%r15), %rdi
movq %rax, %rsi
callq 0x48476
movl %eax, %ebp
movq %r14, %rdi
callq 0x2850d
movq %rbx, %rdi
callq 0x4839e
movl %ebp, %eax
jmp 0x48cd7
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq