// File: DoubleString[P]eph_converter/src/B2bDecoder.cpp
// Function: B2b::m_wtephheader(_IO_FILE*)
void B2b::m_wtephheader(FILE* fp){
	char line[] {
			"+  115   G01G02G03G05G06G07G08G09G10G11G12G13G14G15G16G17G18\n"
			"+        G19G20G21G22G24G25G26G27G28G29G30G31G32R01R02R03R04\n"
			"+        R05R07R08R09R11R12R13R14R15R16R17R18R19R20R21R22R23\n"
			"+        R24C01C02C03C06C07C08C09C10C11C12C13C14C16C19C20C21\n"
			"+        C22C23C24C25C26C27C28C29C30C32C33C34C35C36C37C38C39\n"
			"+        C40C41C42C43C44C45C46C59E01E02E03E04E05E07E08E09E11\n"
			"+        E12E13E15E19E21E24E25E26E27E30E31E33E36  0  0  0  0\n"
			"++        10  9  9  7 10  8 10 10  9 10  7 10 10  8 10  8 10\n"
			"++         8 10 10  8 10 10 10 10 10  9 10  8 10 10 10 10 10\n"
			"++        10 10 10 10 10 10 11 11 11 10 11 11 10 11 11 11 11\n"
			"++        11  9  9 11 10  9  9 10 10 10  9 10 10 10 10 10 10\n"
			"++        10 10 10 10 10  9 10 10  9 10 10 10  9 10 10  9  9\n"
			"++         9  9  9  9  9  9  9  9  9  9  9  9  9  9  9  9  9\n"
			"++         9  9  9  9  9  9  9  9  9  9  9  9  9  0  0  0  0\n"
			"%c M  cc GPS ccc cccc cccc cccc cccc ccccc ccccc ccccc ccccc\n"
			"%c cc cc ccc ccc cccc cccc cccc cccc ccccc ccccc ccccc ccccc\n"
			"%f  1.2500000  1.025000000  0.00000000000  0.000000000000000\n"
			"%f  0.0000000  0.000000000  0.00000000000  0.000000000000000\n"
			"%i    0    0    0    0      0      0      0      0         0\n"
			"%i    0    0    0    0      0      0      0      0         0\n" };

	int iyear,imon,iday,ih,imin,gweek,gd;
	double dsec,gsow;
	mjd2date(mjd0,sod0,&iyear,&imon,&iday,&ih,&imin,&dsec);
	gpsweek(iyear,imon,iday,&gweek,&gd);
	mjd2wksow(mjd0,sod0,&gweek,&gsow);
	fprintf(fp,"#dP%04d%3d%3d%3d%3d%12.8lf      96   u+U IGS14 FIT  WHU\n",iyear,imon,iday,ih,imin,dsec);
	fprintf(fp,"## %4d%16.8lf%15.8lf %d%16.8lf\n",gweek,gsow,30.0,mjd0,sod0);
	fprintf(fp,"%s",line);
	fflush(fp);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x520, %rsp            # imm = 0x520
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x518(%rbp)
leaq -0x4e0(%rbp), %rdi
leaq 0x121d4(%rip), %rsi     # 0x17800
movl $0x4c5, %edx            # imm = 0x4C5
callq 0x3230
movq -0x518(%rbp), %rax
movl (%rax), %edi
movsd 0x10(%rax), %xmm0
leaq -0x4e4(%rbp), %rsi
leaq -0x4e8(%rbp), %rdx
leaq -0x4ec(%rbp), %rcx
leaq -0x4f0(%rbp), %r8
leaq -0x4f4(%rbp), %r9
leaq -0x508(%rbp), %rax
movq %rax, (%rsp)
callq 0x162e0
movl -0x4e4(%rbp), %edi
movl -0x4e8(%rbp), %esi
movl -0x4ec(%rbp), %edx
leaq -0x4f8(%rbp), %rcx
leaq -0x4fc(%rbp), %r8
callq 0x145a0
movq -0x518(%rbp), %rax
movl (%rax), %edi
movsd 0x10(%rax), %xmm0
leaq -0x4f8(%rbp), %rsi
leaq -0x510(%rbp), %rdx
callq 0x15240
movq -0x10(%rbp), %rdi
movl -0x4e4(%rbp), %edx
movl -0x4e8(%rbp), %ecx
movl -0x4ec(%rbp), %r8d
movl -0x4f0(%rbp), %r9d
movl -0x4f4(%rbp), %eax
movsd -0x508(%rbp), %xmm0
leaq 0x11b13(%rip), %rsi     # 0x17203
movl %eax, (%rsp)
movb $0x1, %al
callq 0x3400
movq -0x518(%rbp), %rax
movq -0x10(%rbp), %rdi
movl -0x4f8(%rbp), %edx
movsd -0x510(%rbp), %xmm0
movl (%rax), %ecx
movsd 0x10(%rax), %xmm2
leaq 0x11b1b(%rip), %rsi     # 0x1723c
movsd 0x118ff(%rip), %xmm1    # 0x17028
movb $0x3, %al
callq 0x3400
movq -0x10(%rbp), %rdi
leaq -0x4e0(%rbp), %rdx
leaq 0x11abe(%rip), %rsi     # 0x17200
movb $0x0, %al
callq 0x3400
movq -0x10(%rbp), %rdi
callq 0x3330
addq $0x520, %rsp            # imm = 0x520
popq %rbp
retq
nopl (%rax,%rax)