// File: /workspace/github_cpp_makefile_star2_O2/tomfunkhouser[P]gaps/apps/msh2prp/msh2prp.cpp
// Function: main
int main(int argc, char **argv)
{
  // Parse program arguments
  if (!ParseArgs(argc, argv)) exit(1);

  // Read mesh file
  R3Mesh *mesh = ReadMesh(input_mesh_name);
  if (!mesh) exit(-1);

  // Compute property set
  R3MeshPropertySet *properties = ComputeProperties(mesh);
  if (!properties) exit(-1);

  // Write properties file
  if (!WriteProperties(properties, output_properties_name)) exit(-1);

  // Write mesh
  if (output_mesh_name) {
    if (!WriteMesh(mesh, output_mesh_name)) exit(-1);
  }

  // Return success 
  return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rsi, %r14
movl %edi, %ebp
movq 0xf05cc(%rip), %r12     # 0x102d58
movq 0xf05cd(%rip), %rax     # 0x102d60
movq %rax, (%rsp)
cmpl $0x2, %ebp
jl 0x12a7e
movq %r14, %r13
movl %ebp, %r15d
addq $0x8, %r14
leal -0x1(%r15), %ebp
movq (%r14), %rbx
cmpb $0x2d, (%rbx)
jne 0x1296d
cmpb $0x76, 0x1(%rbx)
jne 0x127ca
cmpb $0x0, 0x2(%rbx)
je 0x129a8
movq %rbx, %rdi
leaq 0x9b941(%rip), %rsi     # 0xae115
callq 0x107f0
testl %eax, %eax
je 0x12797
movq %rbx, %rdi
leaq 0x9b935(%rip), %rsi     # 0xae11c
callq 0x107f0
testl %eax, %eax
je 0x1299c
movq %rbx, %rdi
leaq 0x9b925(%rip), %rsi     # 0xae123
callq 0x107f0
testl %eax, %eax
je 0x129b4
movq %rbx, %rdi
leaq 0x9b91a(%rip), %rsi     # 0xae12f
callq 0x107f0
testl %eax, %eax
je 0x129c0
movq %rbx, %rdi
leaq 0x9b90e(%rip), %rsi     # 0xae13a
callq 0x107f0
testl %eax, %eax
je 0x129cc
movq %rbx, %rdi
leaq 0x9b8ff(%rip), %rsi     # 0xae142
callq 0x107f0
testl %eax, %eax
je 0x129d8
movq %rbx, %rdi
leaq 0x9b8f2(%rip), %rsi     # 0xae14c
callq 0x107f0
testl %eax, %eax
je 0x129f0
movq %rbx, %rdi
leaq 0x9b8e6(%rip), %rsi     # 0xae157
callq 0x107f0
testl %eax, %eax
je 0x129e4
movq %rbx, %rdi
leaq 0x9b8d9(%rip), %rsi     # 0xae161
callq 0x107f0
testl %eax, %eax
je 0x129e4
movq %rbx, %rdi
leaq 0x9b8d7(%rip), %rsi     # 0xae176
callq 0x107f0
testl %eax, %eax
je 0x129fc
movq %rbx, %rdi
leaq 0x9b8d4(%rip), %rsi     # 0xae18a
callq 0x107f0
testl %eax, %eax
je 0x12a08
movq %rbx, %rdi
leaq 0x9b8c7(%rip), %rsi     # 0xae194
callq 0x107f0
testl %eax, %eax
je 0x12a14
movq %rbx, %rdi
leaq 0x9b8be(%rip), %rsi     # 0xae1a2
callq 0x107f0
testl %eax, %eax
je 0x12a20
movq %rbx, %rdi
leaq 0x9b8b4(%rip), %rsi     # 0xae1af
callq 0x107f0
testl %eax, %eax
je 0x12a35
movq %rbx, %rdi
leaq 0x9b8a2(%rip), %rsi     # 0xae1b4
callq 0x107f0
testl %eax, %eax
je 0x12a4a
movq %rbx, %rdi
leaq 0x9b8a8(%rip), %rsi     # 0xae1d1
callq 0x107f0
testl %eax, %eax
jne 0x12cb7
movb $0x1, %al
movb %al, 0xf0436(%rip)      # 0x102d74
movb %al, 0xf0434(%rip)      # 0x102d78
movb %al, 0xf0432(%rip)      # 0x102d7c
movb %al, 0xf0430(%rip)      # 0x102d80
movb %al, 0xf042e(%rip)      # 0x102d84
movb %al, 0xf0430(%rip)      # 0x102d8c
movb %al, 0xf042e(%rip)      # 0x102d90
movb %al, 0xf042c(%rip)      # 0x102d94
jmp 0x12797
testq %r12, %r12
je 0x1298d
cmpq $0x0, (%rsp)
jne 0x12cb7
movq %rbx, 0xf03dc(%rip)     # 0x102d60
movq %rbx, (%rsp)
jmp 0x12797
movq %rbx, 0xf03c4(%rip)     # 0x102d58
movq %rbx, %r12
jmp 0x12797
movb $0x1, 0xf03d1(%rip)     # 0x102d74
jmp 0x12797
movb $0x1, 0xf03c1(%rip)     # 0x102d70
jmp 0x12797
movb $0x1, 0xf03bd(%rip)     # 0x102d78
jmp 0x12797
movb $0x1, 0xf03b5(%rip)     # 0x102d7c
jmp 0x12797
movb $0x1, 0xf03ad(%rip)     # 0x102d80
jmp 0x12797
movb $0x1, 0xf03a5(%rip)     # 0x102d84
jmp 0x12797
movb $0x1, 0xf03a1(%rip)     # 0x102d8c
jmp 0x12797
movb $0x1, 0xf0391(%rip)     # 0x102d88
jmp 0x12797
movb $0x1, 0xf038d(%rip)     # 0x102d90
jmp 0x12797
movb $0x1, 0xf0385(%rip)     # 0x102d94
jmp 0x12797
movb $0x1, 0xf037d(%rip)     # 0x102d98
jmp 0x12797
addl $-0x2, %r15d
movq 0x10(%r13), %rax
addq $0x10, %r13
movq %rax, 0xf0335(%rip)     # 0x102d68
jmp 0x12a73
addl $-0x2, %r15d
movq 0x10(%r13), %rax
addq $0x10, %r13
movq %rax, 0xf0358(%rip)     # 0x102da0
jmp 0x12a73
movq 0x10(%r13), %rax
movq %rax, 0xf0353(%rip)     # 0x102da8
movq 0x18(%r13), %rax
movq %rax, 0xf0350(%rip)     # 0x102db0
addl $-0x4, %r15d
movq 0x20(%r13), %rax
addq $0x20, %r13
movq %rax, 0xf0345(%rip)     # 0x102db8
movl %r15d, %ebp
movq %r13, %r14
jmp 0x12797
testq %r12, %r12
je 0x12ccc
cmpq $0x0, (%rsp)
je 0x12ccc
leaq 0x8(%rsp), %rbx
movq %rbx, %rdi
callq 0x72522
movq %rbx, %rdi
callq 0x17aaa
movl $0x138, %edi            # imm = 0x138
callq 0x10560
movq %rax, %r14
movq %rax, %rdi
callq 0x1dd6c
movq (%r14), %rax
movq %r14, %rdi
movq %r12, %rsi
callq *0x180(%rax)
testl %eax, %eax
je 0x12cdc
cmpb $0x1, 0xf0296(%rip)     # 0x102d70
jne 0x12b4a
leaq 0x9b75f(%rip), %rdi     # 0xae242
movq %r12, %rsi
xorl %eax, %eax
callq 0x10080
leaq 0x8(%rsp), %rdi
callq 0x7255c
leaq 0x9b75b(%rip), %rdi     # 0xae259
movb $0x1, %al
callq 0x10080
movl 0x34(%r14), %esi
leaq 0x9b760(%rip), %rdi     # 0xae270
xorl %eax, %eax
callq 0x10080
movl 0x24(%r14), %esi
leaq 0x9b75e(%rip), %rdi     # 0xae280
xorl %eax, %eax
callq 0x10080
movl 0x14(%r14), %esi
leaq 0x9b75c(%rip), %rdi     # 0xae290
xorl %eax, %eax
callq 0x10080
movq 0xef43e(%rip), %rax     # 0x101f80
movq (%rax), %rdi
callq 0x10680
movq %r14, %rdi
callq 0x12d19
testq %rax, %rax
je 0x12cf9
movq %rax, %rbx
movq 0xf01fb(%rip), %r15     # 0x102d60
leaq 0x8(%rsp), %r12
movq %r12, %rdi
callq 0x72522
movq %r12, %rdi
callq 0x17aaa
movq %rbx, %rdi
movq %r15, %rsi
callq 0x1a0b4
testl %eax, %eax
je 0x12ce8
cmpb $0x1, 0xf01dc(%rip)     # 0x102d70
jne 0x12bf3
leaq 0x9bae7(%rip), %rdi     # 0xae684
movq %r15, %rsi
xorl %eax, %eax
callq 0x10080
leaq 0x8(%rsp), %rdi
callq 0x7255c
leaq 0x9b6a1(%rip), %rdi     # 0xae259
movb $0x1, %al
callq 0x10080
movl 0x14(%rbx), %esi
leaq 0x9b6f9(%rip), %rdi     # 0xae2c2
xorl %eax, %eax
callq 0x10080
movq (%rbx), %rax
movl 0x14(%rax), %esi
leaq 0x9b6b3(%rip), %rdi     # 0xae290
xorl %eax, %eax
callq 0x10080
movq 0xef395(%rip), %rax     # 0x101f80
movq (%rax), %rdi
callq 0x10680
movq 0xf016e(%rip), %rbx     # 0x102d68
testq %rbx, %rbx
je 0x12ca6
leaq 0x8(%rsp), %r15
movq %r15, %rdi
callq 0x72522
movq %r15, %rdi
callq 0x17aaa
movq (%r14), %rax
movq %r14, %rdi
movq %rbx, %rsi
callq *0x1d0(%rax)
testl %eax, %eax
je 0x12cf9
cmpb $0x1, 0xf013a(%rip)     # 0x102d70
jne 0x12ca6
leaq 0x9ba61(%rip), %rdi     # 0xae6a0
movq %rbx, %rsi
xorl %eax, %eax
callq 0x10080
leaq 0x8(%rsp), %rdi
callq 0x7255c
leaq 0x9b5ff(%rip), %rdi     # 0xae259
movb $0x1, %al
callq 0x10080
movl 0x34(%r14), %esi
leaq 0x9b604(%rip), %rdi     # 0xae270
xorl %eax, %eax
callq 0x10080
movl 0x24(%r14), %esi
leaq 0x9b602(%rip), %rdi     # 0xae280
xorl %eax, %eax
callq 0x10080
movl 0x14(%r14), %esi
leaq 0x9b600(%rip), %rdi     # 0xae290
xorl %eax, %eax
callq 0x10080
movq 0xef2e2(%rip), %rax     # 0x101f80
movq (%rax), %rdi
callq 0x10680
xorl %eax, %eax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x9b518(%rip), %rdi     # 0xae1d6
movq %rbx, %rsi
xorl %eax, %eax
callq 0x7492a
pushq $0x1
jmp 0x12cfb
leaq 0x9b520(%rip), %rdi     # 0xae1f3
xorl %eax, %eax
callq 0x7492a
jmp 0x12cc8
leaq 0x9b542(%rip), %rdi     # 0xae225
movq %r12, %rsi
jmp 0x12cf2
leaq 0x9b973(%rip), %rdi     # 0xae662
movq %r15, %rsi
xorl %eax, %eax
callq 0x7492a
pushq $-0x1
popq %rdi
callq 0x106b0
movq %rax, %rbx
movl $0x138, %esi            # imm = 0x138
movq %r14, %rdi
callq 0x10570
movq %rbx, %rdi
callq 0x10a00