// File: /workspace/github_c_makefile_star2_O1/markpeerdeman[P]mbemm/src/emath/mickey.c
// Function: main
int main(const int argc, char *argv[] )
{ WRITE_SPECIAL = NO;
  WRITE_UNIVERSAL = NO;
  WRITE_OBJ = NO;
  READ_SOLUTION = NO;
  LARGE_DISPLACEMENTS = NO;
#include <text.h>

  if (argc>1000) {}; /* this is pure nonsense to pull the compiler's leg */

  /* do_meshcheck(argv[1]);  */
  
  if (argc==2) do_linear(argv[1]);
  if (argc==3) do_contact(argv[1],argv[2]);
   
  evaluate_level(FINISH,41);
  return (int)1;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
andl $0x0, 0x13528(%rip)     # 0x15428
andl $0x0, 0x13525(%rip)     # 0x1542c
andl $0x0, 0x13522(%rip)     # 0x15430
andl $0x0, 0x1351f(%rip)     # 0x15434
andl $0x0, 0x1351c(%rip)     # 0x15438
movq %rsi, %rbx
movl %edi, %ebp
movq 0x130d0(%rip), %r13     # 0x14ff8
movq (%r13), %rcx
leaq 0xc118(%rip), %rdi      # 0xe04b
pushq $0x43
popq %rsi
pushq $0x1
popq %r14
movq %r14, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc203(%rip), %rdi      # 0xe150
pushq $0x22
popq %rsi
movq %r14, %rdx
callq 0x11a0
cmpl $0x3, %ebp
jne 0x1f6c
movq (%r13), %rcx
leaq 0xc20b(%rip), %rdi      # 0xe173
pushq $0x9
jmp 0x1f7e
movq (%r13), %rcx
cmpl $0x2, %ebp
jne 0x1f89
leaq 0xc201(%rip), %rdi      # 0xe17d
pushq $0x8
popq %rsi
pushq $0x1
popq %rdx
callq 0x11a0
jmp 0x1f94
pushq $0xa
popq %rdi
movq %rcx, %rsi
callq 0x10e0
movq (%r13), %rcx
leaq 0xc1e7(%rip), %rdi      # 0xe186
pushq $0x43
popq %rsi
pushq $0x1
popq %r14
movq %r14, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc211(%rip), %rdi      # 0xe1ca
pushq $0x29
popq %rsi
movq %r14, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc225(%rip), %rdi      # 0xe1f4
pushq $0x30
popq %rsi
movq %r14, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc240(%rip), %rdi      # 0xe225
pushq $0x42
popq %rsi
movq %r14, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc26d(%rip), %rdi      # 0xe268
pushq $0x41
popq %r15
movq %r15, %rsi
movq %r14, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc295(%rip), %rdi      # 0xe2aa
movq %r15, %rsi
movq %r14, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc2c1(%rip), %rdi      # 0xe2ec
movq %r15, %rsi
movq %r14, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc2ed(%rip), %rdi      # 0xe32e
movq %r15, %rsi
movq %r14, %rdx
callq 0x11a0
cmpl $0x3, %ebp
jne 0x2081
movq (%r13), %rcx
leaq 0xc314(%rip), %rdi      # 0xe370
pushq $0xb
popq %rsi
pushq $0x1
popq %r14
movq %r14, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc306(%rip), %rdi      # 0xe37c
pushq $0x23
popq %rsi
movq %r14, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc199(%rip), %r12      # 0xe225
pushq $0x42
popq %r14
pushq $0x1
popq %r15
movq %r12, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x11a0
movq (%r13), %rcx
movq %r12, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc2e1(%rip), %rdi      # 0xe3a0
movq %r14, %rsi
movq %r15, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xcf34(%rip), %rdi      # 0xf009
movq %r14, %rsi
movq %r15, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc2f8(%rip), %rdi      # 0xe3e3
movq %r14, %rsi
movq %r15, %rdx
callq 0x11a0
cmpl $0x2, %ebp
jne 0x2104
movq 0x8(%rbx), %rdi
callq 0x3820
cmpl $0x3, %ebp
jne 0x2116
movq 0x8(%rbx), %rdi
movq 0x10(%rbx), %rsi
callq 0x2442
pushq $0x4
popq %rdi
pushq $0x29
popq %rsi
callq 0xbc50
pushq $0x1
popq %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq