// File: /workspace/github_c_makefile_star2_O2/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, 0x1221a(%rip)     # 0x14418
andl $0x0, 0x12217(%rip)     # 0x1441c
andl $0x0, 0x12214(%rip)     # 0x14420
andl $0x0, 0x12211(%rip)     # 0x14424
andl $0x0, 0x1220e(%rip)     # 0x14428
movq %rsi, %rbx
movl %edi, %ebp
movq 0x11dd2(%rip), %r13     # 0x13ff8
movq (%r13), %rcx
leaq 0xae1a(%rip), %rdi      # 0xd04b
pushq $0x43
popq %rsi
pushq $0x1
popq %r14
movq %r14, %rdx
callq 0x1190
movq (%r13), %rcx
leaq 0xaf05(%rip), %rdi      # 0xd150
pushq $0x22
popq %rsi
movq %r14, %rdx
callq 0x1190
cmpl $0x3, %ebp
jne 0x226a
movq (%r13), %rcx
leaq 0xaf0d(%rip), %rdi      # 0xd173
pushq $0x9
jmp 0x227c
movq (%r13), %rcx
cmpl $0x2, %ebp
jne 0x2287
leaq 0xaf03(%rip), %rdi      # 0xd17d
pushq $0x8
popq %rsi
pushq $0x1
popq %rdx
callq 0x1190
jmp 0x2292
pushq $0xa
popq %rdi
movq %rcx, %rsi
callq 0x10d0
movq (%r13), %rcx
leaq 0xaee9(%rip), %rdi      # 0xd186
pushq $0x43
popq %rsi
pushq $0x1
popq %r14
movq %r14, %rdx
callq 0x1190
movq (%r13), %rcx
leaq 0xaf13(%rip), %rdi      # 0xd1ca
pushq $0x29
popq %rsi
movq %r14, %rdx
callq 0x1190
movq (%r13), %rcx
leaq 0xaf27(%rip), %rdi      # 0xd1f4
pushq $0x30
popq %rsi
movq %r14, %rdx
callq 0x1190
movq (%r13), %rcx
leaq 0xaf42(%rip), %rdi      # 0xd225
pushq $0x42
popq %rsi
movq %r14, %rdx
callq 0x1190
movq (%r13), %rcx
leaq 0xaf6f(%rip), %rdi      # 0xd268
pushq $0x41
popq %r15
movq %r15, %rsi
movq %r14, %rdx
callq 0x1190
movq (%r13), %rcx
leaq 0xaf97(%rip), %rdi      # 0xd2aa
movq %r15, %rsi
movq %r14, %rdx
callq 0x1190
movq (%r13), %rcx
leaq 0xafc3(%rip), %rdi      # 0xd2ec
movq %r15, %rsi
movq %r14, %rdx
callq 0x1190
movq (%r13), %rcx
leaq 0xafef(%rip), %rdi      # 0xd32e
movq %r15, %rsi
movq %r14, %rdx
callq 0x1190
cmpl $0x3, %ebp
jne 0x237f
movq (%r13), %rcx
leaq 0xb016(%rip), %rdi      # 0xd370
pushq $0xb
popq %rsi
pushq $0x1
popq %r14
movq %r14, %rdx
callq 0x1190
movq (%r13), %rcx
leaq 0xb008(%rip), %rdi      # 0xd37c
pushq $0x23
popq %rsi
movq %r14, %rdx
callq 0x1190
movq (%r13), %rcx
leaq 0xae9b(%rip), %r12      # 0xd225
pushq $0x42
popq %r14
pushq $0x1
popq %r15
movq %r12, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x1190
movq (%r13), %rcx
movq %r12, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x1190
movq (%r13), %rcx
leaq 0xafe3(%rip), %rdi      # 0xd3a0
movq %r14, %rsi
movq %r15, %rdx
callq 0x1190
movq (%r13), %rcx
leaq 0xbc06(%rip), %rdi      # 0xdfd9
movq %r14, %rsi
movq %r15, %rdx
callq 0x1190
movq (%r13), %rcx
leaq 0xaffa(%rip), %rdi      # 0xd3e3
movq %r14, %rsi
movq %r15, %rdx
callq 0x1190
cmpl $0x2, %ebp
jne 0x2404
movq 0x8(%rbx), %rdi
callq 0x1ff8
jmp 0x2416
cmpl $0x3, %ebp
jne 0x2416
movq 0x8(%rbx), %rdi
movq 0x10(%rbx), %rsi
callq 0x5013
pushq $0x4
popq %rdi
pushq $0x29
popq %rsi
callq 0xb0f8
pushq $0x1
popq %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop