// File: /workspace/github_cpp_makefile_star2_O1/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
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rsi, %rbx
movq %rdi, %r14
movl (%rdi), %edi
movsd 0x10(%r14), %xmm0
leaq -0x48(%rbp), %rax
movq %rax, (%rsp)
leaq -0x58(%rbp), %r12
leaq -0x54(%rbp), %r13
leaq -0x34(%rbp), %r15
leaq -0x30(%rbp), %r8
leaq -0x2c(%rbp), %r9
movq %r12, %rsi
movq %r13, %rdx
movq %r15, %rcx
callq 0xbef6
movl (%r12), %edi
movl (%r13), %esi
movl (%r15), %edx
leaq -0x50(%rbp), %r15
leaq -0x4c(%rbp), %r8
movq %r15, %rcx
callq 0xabdd
movl (%r14), %edi
movsd 0x10(%r14), %xmm0
leaq -0x40(%rbp), %rdx
movq %r15, %rsi
callq 0xb48b
movl (%r12), %edx
movl (%r13), %ecx
leaq -0x34(%rbp), %rax
movl (%rax), %r8d
leaq -0x30(%rbp), %rax
movl (%rax), %r9d
leaq -0x2c(%rbp), %rax
movl (%rax), %eax
leaq -0x48(%rbp), %rsi
movsd (%rsi), %xmm0
movl %eax, (%rsp)
leaq 0x8423(%rip), %rsi      # 0xd220
movq %rbx, %rdi
movb $0x1, %al
callq 0x33e0
movl (%r15), %edx
leaq -0x40(%rbp), %rax
movsd (%rax), %xmm0
movl (%r14), %ecx
movsd 0x10(%r14), %xmm2
leaq 0x8437(%rip), %rsi      # 0xd259
movsd 0x81f6(%rip), %xmm1     # 0xd020
movq %rbx, %rdi
movb $0x3, %al
callq 0x33e0
leaq 0x8a05(%rip), %rdi      # 0xd840
movq %rbx, %rsi
callq 0x3300
movq %rbx, %rdi
callq 0x3340
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq