// File: /workspace/github_c_makefile_star2_O3/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, 0x134b5(%rip)     # 0x15428
andl $0x0, 0x134b2(%rip)     # 0x1542c
andl $0x0, 0x134af(%rip)     # 0x15430
andl $0x0, 0x134ac(%rip)     # 0x15434
andl $0x0, 0x134a9(%rip)     # 0x15438
movq %rsi, %rbx
movl %edi, %ebp
movq 0x1305d(%rip), %r13     # 0x14ff8
movq (%r13), %rcx
leaq 0xc0a5(%rip), %rdi      # 0xe04b
pushq $0x43
popq %rsi
pushq $0x1
popq %r14
movq %r14, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc190(%rip), %rdi      # 0xe150
pushq $0x22
popq %rsi
movq %r14, %rdx
callq 0x11a0
cmpl $0x3, %ebp
jne 0x1fdf
movq (%r13), %rcx
leaq 0xc198(%rip), %rdi      # 0xe173
pushq $0x9
jmp 0x1ff1
movq (%r13), %rcx
cmpl $0x2, %ebp
jne 0x1ffc
leaq 0xc18e(%rip), %rdi      # 0xe17d
pushq $0x8
popq %rsi
pushq $0x1
popq %rdx
callq 0x11a0
jmp 0x2007
pushq $0xa
popq %rdi
movq %rcx, %rsi
callq 0x10e0
movq (%r13), %rcx
leaq 0xc174(%rip), %rdi      # 0xe186
pushq $0x43
popq %rsi
pushq $0x1
popq %r14
movq %r14, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc19e(%rip), %rdi      # 0xe1ca
pushq $0x29
popq %rsi
movq %r14, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc1b2(%rip), %rdi      # 0xe1f4
pushq $0x30
popq %rsi
movq %r14, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc1cd(%rip), %rdi      # 0xe225
pushq $0x42
popq %rsi
movq %r14, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc1fa(%rip), %rdi      # 0xe268
pushq $0x41
popq %r15
movq %r15, %rsi
movq %r14, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc222(%rip), %rdi      # 0xe2aa
movq %r15, %rsi
movq %r14, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc24e(%rip), %rdi      # 0xe2ec
movq %r15, %rsi
movq %r14, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc27a(%rip), %rdi      # 0xe32e
movq %r15, %rsi
movq %r14, %rdx
callq 0x11a0
cmpl $0x3, %ebp
jne 0x20f4
movq (%r13), %rcx
leaq 0xc2a1(%rip), %rdi      # 0xe370
pushq $0xb
popq %rsi
pushq $0x1
popq %r14
movq %r14, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc293(%rip), %rdi      # 0xe37c
pushq $0x23
popq %rsi
movq %r14, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc126(%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 0xc26e(%rip), %rdi      # 0xe3a0
movq %r14, %rsi
movq %r15, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xcec1(%rip), %rdi      # 0xf009
movq %r14, %rsi
movq %r15, %rdx
callq 0x11a0
movq (%r13), %rcx
leaq 0xc285(%rip), %rdi      # 0xe3e3
movq %r14, %rsi
movq %r15, %rdx
callq 0x11a0
cmpl $0x2, %ebp
jne 0x2179
movq 0x8(%rbx), %rdi
callq 0x382c
jmp 0x218b
cmpl $0x3, %ebp
jne 0x218b
movq 0x8(%rbx), %rdi
movq 0x10(%rbx), %rsi
callq 0x24a0
pushq $0x4
popq %rdi
pushq $0x29
popq %rsi
callq 0xb980
pushq $0x1
popq %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq