// File: /workspace/github_c_makefile_star2_O3/richarddurbin[P]hash10x/moshasm.c
// Function: usage
void usage (void)
{ fprintf (stderr, "Usage: moshasm <commands>\n") ;
  fprintf (stderr, "Commands are executed in order - set parameters before using them!\n") ;
  fprintf (stderr, "  -v | --verbose : toggle verbose mode\n") ;
  fprintf (stderr, "  -t | --threads <number of threads for parallel ops> [%d]\n", numThreads) ;
  fprintf (stderr, "  -o | --output <output filename> : '-' for stdout\n") ;
  fprintf (stderr, "  -m | --moshset <mosh file>\n") ;
  fprintf (stderr, "  -f | --seqfile <file of reads: fasta/q, can be gzipped, or binary>\n") ;
  fprintf (stderr, "  -w | --write <file stem> : writes assembly files\n") ;
  fprintf (stderr, "  -r | --read <file stem> : read assembly files\n") ;
  fprintf (stderr, "  -S | --stats : give readset stats\n") ;
  fprintf (stderr, "  -o1 | --overlap1 <read> : find overlaps for given read\n") ;
  fprintf (stderr, "  -o2 | --overlap2 <k> : give overlap stats for every k'th read\n") ;
  fprintf (stderr, "  -o3 | --overlap3 <read1> <read2> : print details of overlap\n") ;
  fprintf (stderr, "  -b | --markBadReads : identify and categorise bad reads\n") ;
  fprintf (stderr, "  -c | --markContained : identify contained reads\n") ;
  fprintf (stderr, "  -a1 | --assemble1 <read> : assemble starting from given read\n") ;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq 0xad6c(%rip), %r15      # 0xbff8
movq (%r15), %rcx
leaq 0x7295(%rip), %rdi      # 0x852b
pushq $0x1a
popq %rsi
pushq $0x1
popq %rbx
movq %rbx, %rdx
callq 0x1230
movq (%r15), %rcx
leaq 0x7298(%rip), %rdi      # 0x8546
pushq $0x43
popq %rsi
movq %rbx, %rdx
callq 0x1230
movq (%r15), %rcx
leaq 0x72c7(%rip), %rdi      # 0x858a
pushq $0x27
popq %rsi
movq %rbx, %rdx
callq 0x1230
movq (%r15), %rdi
movl 0xae79(%rip), %edx      # 0xc150
leaq 0x72d4(%rip), %rsi      # 0x85b2
xorl %eax, %eax
callq 0x1130
movq (%r15), %rcx
leaq 0x72ff(%rip), %rdi      # 0x85ee
pushq $0x33
popq %r14
movq %r14, %rsi
movq %rbx, %rdx
callq 0x1230
movq (%r15), %rcx
leaq 0x731a(%rip), %rdi      # 0x8622
pushq $0x1d
popq %rsi
movq %rbx, %rdx
callq 0x1230
movq (%r15), %rcx
leaq 0x7323(%rip), %rdi      # 0x8640
pushq $0x45
popq %rsi
movq %rbx, %rdx
callq 0x1230
movq (%r15), %rcx
leaq 0x7354(%rip), %rdi      # 0x8686
movq %r14, %rsi
movq %rbx, %rdx
callq 0x1230
movq (%r15), %rcx
leaq 0x7373(%rip), %rdi      # 0x86ba
pushq $0x30
popq %rsi
movq %rbx, %rdx
callq 0x1230
movq (%r15), %rcx
leaq 0x738f(%rip), %rdi      # 0x86eb
pushq $0x24
popq %rsi
movq %rbx, %rdx
callq 0x1230
movq (%r15), %rcx
leaq 0x739f(%rip), %rdi      # 0x8710
pushq $0x39
popq %rsi
movq %rbx, %rdx
callq 0x1230
movq (%r15), %rcx
leaq 0x73c4(%rip), %rdi      # 0x874a
pushq $0x40
popq %rsi
movq %rbx, %rdx
callq 0x1230
movq (%r15), %rcx
leaq 0x73f0(%rip), %rdi      # 0x878b
pushq $0x3e
popq %rsi
movq %rbx, %rdx
callq 0x1230
movq (%r15), %rcx
leaq 0x741a(%rip), %rdi      # 0x87ca
pushq $0x3a
popq %rsi
movq %rbx, %rdx
callq 0x1230
movq (%r15), %rcx
leaq 0x7440(%rip), %rdi      # 0x8805
pushq $0x32
popq %rsi
movq %rbx, %rdx
callq 0x1230
movq (%r15), %rcx
leaq 0x745e(%rip), %rdi      # 0x8838
pushq $0x3f
popq %rsi
movq %rbx, %rdx
popq %rbx
popq %r14
popq %r15
jmp 0x1230