// File: BenLangmead[P]bowtie/./timer.h
// Function: Timer::write(std::ostream&)
void write(ostream& out) {
		time_t passed = elapsed();
		// Print the message supplied at construction time followed
		// by time elapsed formatted HH:MM:SS
		time_t hours   = (passed / 60) / 60;
		time_t minutes = (passed / 60) % 60;
		time_t seconds = (passed % 60);
		std::ostringstream oss;
		oss << _msg << setfill ('0') << setw (2) << hours << ":"
			<< setfill ('0') << setw (2) << minutes << ":"
			<< setfill ('0') << setw (2) << seconds << endl;
		out << oss.str().c_str();
	}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x290, %rsp            # imm = 0x290
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rdi
movq %rdi, -0x208(%rbp)
callq 0x17bd0
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x230(%rbp)
movabsq $-0x7777777777777777, %rcx # imm = 0x8888888888888889
imulq %rcx
movq %rdx, %rax
movq -0x230(%rbp), %rdx
addq %rdx, %rax
movq %rax, %rdx
shrq $0x3f, %rdx
sarq $0x5, %rax
addq %rdx, %rax
movq %rax, -0x228(%rbp)
imulq %rcx
movq %rdx, %rax
movq -0x228(%rbp), %rdx
addq %rdx, %rax
movq %rax, %rdx
shrq $0x3f, %rdx
sarq $0x5, %rax
addq %rdx, %rax
movq %rax, -0x20(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x220(%rbp)
imulq %rcx
movq %rdx, %rax
movq -0x220(%rbp), %rdx
addq %rdx, %rax
movq %rax, %rdx
shrq $0x3f, %rdx
sarq $0x5, %rax
addq %rdx, %rax
movq %rax, -0x218(%rbp)
imulq %rcx
movq -0x218(%rbp), %rax
addq %rax, %rdx
movq %rdx, %rsi
shrq $0x3f, %rsi
sarq $0x5, %rdx
addq %rsi, %rdx
imulq $0x3c, %rdx, %rdx
subq %rdx, %rax
movq %rax, -0x28(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x210(%rbp)
imulq %rcx
movq -0x210(%rbp), %rax
movq %rdx, %rcx
addq %rax, %rcx
movq %rcx, %rdx
shrq $0x3f, %rdx
sarq $0x5, %rcx
addq %rdx, %rcx
imulq $0x3c, %rcx, %rcx
subq %rcx, %rax
movq %rax, -0x30(%rbp)
leaq -0x1a8(%rbp), %rdi
movq %rdi, -0x200(%rbp)
callq 0x6600
movq -0x208(%rbp), %rax
movq -0x200(%rbp), %rdi
movq 0x10(%rax), %rsi
callq 0x6410
movq %rax, -0x1f8(%rbp)
jmp 0x17980
movl $0x30, %edi
callq 0x17630
movq -0x1f8(%rbp), %rdi
movb %al, -0x1b5(%rbp)
movzbl -0x1b5(%rbp), %esi
callq 0x6730
movq %rax, -0x238(%rbp)
jmp 0x179ac
movl $0x2, %edi
callq 0x17650
movq -0x238(%rbp), %rdi
movl %eax, -0x1bc(%rbp)
movl -0x1bc(%rbp), %esi
callq 0x6520
movq %rax, -0x240(%rbp)
jmp 0x179d7
movq -0x240(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x68a0
movq %rax, -0x248(%rbp)
jmp 0x179f0
movq -0x248(%rbp), %rdi
leaq 0x2d487(%rip), %rsi     # 0x44e85
callq 0x6410
movq %rax, -0x250(%rbp)
jmp 0x17a0c
movl $0x30, %edi
callq 0x17630
movq -0x250(%rbp), %rdi
movb %al, -0x1bd(%rbp)
movzbl -0x1bd(%rbp), %esi
callq 0x6730
movq %rax, -0x258(%rbp)
jmp 0x17a38
movl $0x2, %edi
callq 0x17650
movq -0x258(%rbp), %rdi
movl %eax, -0x1c4(%rbp)
movl -0x1c4(%rbp), %esi
callq 0x6520
movq %rax, -0x260(%rbp)
jmp 0x17a63
movq -0x260(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0x68a0
movq %rax, -0x268(%rbp)
jmp 0x17a7c
movq -0x268(%rbp), %rdi
leaq 0x2d3fb(%rip), %rsi     # 0x44e85
callq 0x6410
movq %rax, -0x270(%rbp)
jmp 0x17a98
movl $0x30, %edi
callq 0x17630
movq -0x270(%rbp), %rdi
movb %al, -0x1c5(%rbp)
movzbl -0x1c5(%rbp), %esi
callq 0x6730
movq %rax, -0x278(%rbp)
jmp 0x17ac4
movl $0x2, %edi
callq 0x17650
movq -0x278(%rbp), %rdi
movl %eax, -0x1cc(%rbp)
movl -0x1cc(%rbp), %esi
callq 0x6520
movq %rax, -0x280(%rbp)
jmp 0x17aef
movq -0x280(%rbp), %rdi
movq -0x30(%rbp), %rsi
callq 0x68a0
movq %rax, -0x288(%rbp)
jmp 0x17b08
movq -0x288(%rbp), %rdi
movq 0x3a452(%rip), %rsi     # 0x51f68
callq 0x6470
jmp 0x17b1d
movq -0x10(%rbp), %rax
movq %rax, -0x290(%rbp)
leaq -0x1f0(%rbp), %rdi
leaq -0x1a8(%rbp), %rsi
callq 0x6450
jmp 0x17b3d
leaq -0x1f0(%rbp), %rdi
callq 0x61b0
movq -0x290(%rbp), %rdi
movq %rax, %rsi
callq 0x6410
jmp 0x17b5a
leaq -0x1f0(%rbp), %rdi
callq 0x69a8
leaq -0x1a8(%rbp), %rdi
callq 0x6110
addq $0x290, %rsp            # imm = 0x290
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1b0(%rbp)
movl %eax, -0x1b4(%rbp)
jmp 0x17bad
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1b0(%rbp)
movl %eax, -0x1b4(%rbp)
leaq -0x1f0(%rbp), %rdi
callq 0x69a8
leaq -0x1a8(%rbp), %rdi
callq 0x6110
movq -0x1b0(%rbp), %rdi
callq 0x6850
nopw %cs:(%rax,%rax)
nop