// File: ThePhage[P]horse_tornado/fast.cpp
// Function: (anonymous namespace)::exec(std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>> const&)
__attribute__((noreturn)) void exec(const vector<string>& cmd) {
  if (cmd.empty())
    die("Empty command");
  vector<const char*> ps;
  for (const auto& s : cmd)
    ps.push_back(s.c_str());
  ps.push_back(0);
  execvp(ps[0],(char**)&ps[0]);
  die("Command failed: "+join(" ",cmd)+", "+strerror(errno));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x160, %rsp            # imm = 0x160
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rdi
callq 0x258b0
testb $0x1, %al
jne 0xf9ae
jmp 0xfa13
leaq -0x29(%rbp), %rdi
movq %rdi, -0x138(%rbp)
callq 0x79e0
movq -0x138(%rbp), %rdx
leaq 0x19a43(%rip), %rsi     # 0x2940f
leaq -0x28(%rbp), %rdi
callq 0x11520
jmp 0xf9d7
leaq -0x28(%rbp), %rdi
callq 0x87f0
jmp 0xf9e2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0xfa05
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x28(%rbp), %rdi
callq 0x7380
leaq -0x29(%rbp), %rdi
callq 0x7680
jmp 0xfc54
leaq -0x58(%rbp), %rdi
callq 0x258f0
movq -0x8(%rbp), %rax
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rdi
callq 0x22370
movq %rax, -0x68(%rbp)
movq -0x60(%rbp), %rdi
callq 0x223a0
movq %rax, -0x70(%rbp)
leaq -0x68(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x223d0
testb $0x1, %al
jne 0xfa51
jmp 0xfa98
leaq -0x68(%rbp), %rdi
callq 0x22410
movq %rax, -0x78(%rbp)
movq -0x78(%rbp), %rdi
callq 0x7240
movq %rax, -0x80(%rbp)
leaq -0x58(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x25910
jmp 0xfa7a
jmp 0xfa7c
leaq -0x68(%rbp), %rdi
callq 0x22710
jmp 0xfa3e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0xfc4b
movq $0x0, -0x88(%rbp)
leaq -0x58(%rbp), %rdi
leaq -0x88(%rbp), %rsi
callq 0x25910
jmp 0xfab5
xorl %eax, %eax
movl %eax, %esi
movq %rsi, -0x150(%rbp)
leaq -0x58(%rbp), %rdi
movq %rdi, -0x158(%rbp)
callq 0x25940
movq -0x158(%rbp), %rdi
movq -0x150(%rbp), %rsi
movq (%rax), %rax
movq %rax, -0x148(%rbp)
callq 0x25940
movq -0x148(%rbp), %rdi
movq %rax, %rsi
callq 0x74d0
leaq -0x129(%rbp), %rdi
movq %rdi, -0x140(%rbp)
callq 0x79e0
movq -0x140(%rbp), %rdx
leaq 0x18851(%rip), %rsi     # 0x2836e
leaq -0x128(%rbp), %rdi
callq 0x11520
jmp 0xfb2b
movq -0x8(%rbp), %rdx
leaq -0x108(%rbp), %rdi
leaq -0x128(%rbp), %rsi
callq 0xfc60
jmp 0xfb44
leaq 0x198d2(%rip), %rsi     # 0x2941d
leaq -0xe8(%rbp), %rdi
leaq -0x108(%rbp), %rdx
callq 0x25960
jmp 0xfb60
leaq 0x198c7(%rip), %rdx     # 0x2942e
leaq -0xc8(%rbp), %rdi
leaq -0xe8(%rbp), %rsi
callq 0x114d0
jmp 0xfb7c
callq 0x7080
movl (%rax), %edi
callq 0x71e0
movq %rax, %rdx
leaq -0xa8(%rbp), %rdi
leaq -0xc8(%rbp), %rsi
callq 0x114d0
jmp 0xfba0
leaq -0xa8(%rbp), %rdi
callq 0x87f0
jmp 0xfbae
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0xfc3f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0xfc33
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0xfc27
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0xfc1b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0xfc0f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0xa8(%rbp), %rdi
callq 0x7380
leaq -0xc8(%rbp), %rdi
callq 0x7380
leaq -0xe8(%rbp), %rdi
callq 0x7380
leaq -0x108(%rbp), %rdi
callq 0x7380
leaq -0x128(%rbp), %rdi
callq 0x7380
leaq -0x129(%rbp), %rdi
callq 0x7680
leaq -0x58(%rbp), %rdi
callq 0x259b0
movq -0x38(%rbp), %rdi
callq 0x79d0
nopl (%rax)