// File: /workspace/github_cpp_makefile_star2_O2/tomfunkhouser[P]gaps/pkgs/fglut/freeglut_geometry.c
// Function: glutSolidDodecahedron
void FGAPIENTRY glutSolidDodecahedron( void )
{
  FREEGLUT_EXIT_IF_NOT_INITIALISED ( "glutSolidDodecahedron" );

  /* Magic Numbers:  It is possible to create a dodecahedron by attaching two pentagons to each face of
   * of a cube.  The coordinates of the points are:
   *   (+-x,0, z); (+-1, 1, 1); (0, z, x )
   * where x = (-1 + sqrt(5))/2, z = (1 + sqrt(5))/2 or
   *       x = 0.61803398875 and z = 1.61803398875.
   */
  glBegin ( GL_POLYGON ) ;
  glNormal3d (  0.0,  0.525731112119,  0.850650808354 ) ; glVertex3d (  0.0,  1.61803398875,  0.61803398875 ) ; glVertex3d ( -1.0,  1.0,  1.0 ) ; glVertex3d ( -0.61803398875, 0.0,  1.61803398875 ) ; glVertex3d (  0.61803398875, 0.0,  1.61803398875 ) ; glVertex3d (  1.0,  1.0,  1.0 ) ;
  glEnd () ;
  glBegin ( GL_POLYGON ) ;
  glNormal3d (  0.0,  0.525731112119, -0.850650808354 ) ; glVertex3d (  0.0,  1.61803398875, -0.61803398875 ) ; glVertex3d (  1.0,  1.0, -1.0 ) ; glVertex3d (  0.61803398875, 0.0, -1.61803398875 ) ; glVertex3d ( -0.61803398875, 0.0, -1.61803398875 ) ; glVertex3d ( -1.0,  1.0, -1.0 ) ;
  glEnd () ;
  glBegin ( GL_POLYGON ) ;
  glNormal3d (  0.0, -0.525731112119,  0.850650808354 ) ; glVertex3d (  0.0, -1.61803398875,  0.61803398875 ) ; glVertex3d (  1.0, -1.0,  1.0 ) ; glVertex3d (  0.61803398875, 0.0,  1.61803398875 ) ; glVertex3d ( -0.61803398875, 0.0,  1.61803398875 ) ; glVertex3d ( -1.0, -1.0,  1.0 ) ;
  glEnd () ;
  glBegin ( GL_POLYGON ) ;
  glNormal3d (  0.0, -0.525731112119, -0.850650808354 ) ; glVertex3d (  0.0, -1.61803398875, -0.61803398875 ) ; glVertex3d ( -1.0, -1.0, -1.0 ) ; glVertex3d ( -0.61803398875, 0.0, -1.61803398875 ) ; glVertex3d (  0.61803398875, 0.0, -1.61803398875 ) ; glVertex3d (  1.0, -1.0, -1.0 ) ;
  glEnd () ;

  glBegin ( GL_POLYGON ) ;
  glNormal3d (  0.850650808354,  0.0,  0.525731112119 ) ; glVertex3d (  0.61803398875,  0.0,  1.61803398875 ) ; glVertex3d (  1.0, -1.0,  1.0 ) ; glVertex3d (  1.61803398875, -0.61803398875, 0.0 ) ; glVertex3d (  1.61803398875,  0.61803398875, 0.0 ) ; glVertex3d (  1.0,  1.0,  1.0 ) ;
  glEnd () ;
  glBegin ( GL_POLYGON ) ;
  glNormal3d ( -0.850650808354,  0.0,  0.525731112119 ) ; glVertex3d ( -0.61803398875,  0.0,  1.61803398875 ) ; glVertex3d ( -1.0,  1.0,  1.0 ) ; glVertex3d ( -1.61803398875,  0.61803398875, 0.0 ) ; glVertex3d ( -1.61803398875, -0.61803398875, 0.0 ) ; glVertex3d ( -1.0, -1.0,  1.0 ) ;
  glEnd () ;
  glBegin ( GL_POLYGON ) ;
  glNormal3d (  0.850650808354,  0.0, -0.525731112119 ) ; glVertex3d (  0.61803398875,  0.0, -1.61803398875 ) ; glVertex3d (  1.0,  1.0, -1.0 ) ; glVertex3d (  1.61803398875,  0.61803398875, 0.0 ) ; glVertex3d (  1.61803398875, -0.61803398875, 0.0 ) ; glVertex3d (  1.0, -1.0, -1.0 ) ;
  glEnd () ;
  glBegin ( GL_POLYGON ) ;
  glNormal3d ( -0.850650808354,  0.0, -0.525731112119 ) ; glVertex3d ( -0.61803398875,  0.0, -1.61803398875 ) ; glVertex3d ( -1.0, -1.0, -1.0 ) ; glVertex3d ( -1.61803398875, -0.61803398875, 0.0 ) ; glVertex3d ( -1.61803398875,  0.61803398875, 0.0 ) ; glVertex3d ( -1.0,  1.0, -1.0 ) ;
  glEnd () ;

  glBegin ( GL_POLYGON ) ;
  glNormal3d (  0.525731112119,  0.850650808354,  0.0 ) ; glVertex3d (  1.61803398875,  0.61803398875,  0.0 ) ; glVertex3d (  1.0,  1.0, -1.0 ) ; glVertex3d ( 0.0,  1.61803398875, -0.61803398875 ) ; glVertex3d ( 0.0,  1.61803398875,  0.61803398875 ) ; glVertex3d (  1.0,  1.0,  1.0 ) ;
  glEnd () ;
  glBegin ( GL_POLYGON ) ;
  glNormal3d (  0.525731112119, -0.850650808354,  0.0 ) ; glVertex3d (  1.61803398875, -0.61803398875,  0.0 ) ; glVertex3d (  1.0, -1.0,  1.0 ) ; glVertex3d ( 0.0, -1.61803398875,  0.61803398875 ) ; glVertex3d ( 0.0, -1.61803398875, -0.61803398875 ) ; glVertex3d (  1.0, -1.0, -1.0 ) ;
  glEnd () ;
  glBegin ( GL_POLYGON ) ;
  glNormal3d ( -0.525731112119,  0.850650808354,  0.0 ) ; glVertex3d ( -1.61803398875,  0.61803398875,  0.0 ) ; glVertex3d ( -1.0,  1.0,  1.0 ) ; glVertex3d ( 0.0,  1.61803398875,  0.61803398875 ) ; glVertex3d ( 0.0,  1.61803398875, -0.61803398875 ) ; glVertex3d ( -1.0,  1.0, -1.0 ) ;
  glEnd () ;
  glBegin ( GL_POLYGON ) ;
  glNormal3d ( -0.525731112119, -0.850650808354,  0.0 ) ; glVertex3d ( -1.61803398875, -0.61803398875,  0.0 ) ; glVertex3d ( -1.0, -1.0, -1.0 ) ; glVertex3d ( 0.0, -1.61803398875, -0.61803398875 ) ; glVertex3d ( 0.0, -1.61803398875,  0.61803398875 ) ; glVertex3d ( -1.0, -1.0,  1.0 ) ;
  glEnd () ;
}

// Assembly:
pushq %rbx
leaq 0x7097d(%rip), %rax     # 0x1331e0
cmpb $0x0, 0x1c(%rax)
jne 0xc287e
leaq 0x119f6(%rip), %rdi     # 0xd4266
leaq 0x23406(%rip), %rsi     # 0xe5c7d
xorl %eax, %eax
callq 0xbad73
pushq $0x9
popq %rbx
movl %ebx, %edi
callq 0x21190
movsd 0x236e8(%rip), %xmm1    # 0xe5f78
movsd 0x236e8(%rip), %xmm2    # 0xe5f80
xorps %xmm0, %xmm0
callq 0x21300
movsd 0x236e0(%rip), %xmm1    # 0xe5f88
movsd 0x236e0(%rip), %xmm2    # 0xe5f90
xorps %xmm0, %xmm0
callq 0x21e80
movsd 0x2c10(%rip), %xmm0     # 0xc54d0
movsd 0x2750(%rip), %xmm1     # 0xc5018
movaps %xmm1, %xmm2
callq 0x21e80
movsd 0x236c0(%rip), %xmm0    # 0xe5f98
xorps %xmm1, %xmm1
movsd 0x236a5(%rip), %xmm2    # 0xe5f88
callq 0x21e80
xorps %xmm1, %xmm1
movsd 0x2369d(%rip), %xmm0    # 0xe5f90
movsd 0x2368d(%rip), %xmm2    # 0xe5f88
callq 0x21e80
movsd 0x2710(%rip), %xmm0     # 0xc5018
movaps %xmm0, %xmm1
movaps %xmm0, %xmm2
callq 0x21e80
callq 0x21c60
movl %ebx, %edi
callq 0x21190
movsd 0x23679(%rip), %xmm2    # 0xe5fa0
xorps %xmm0, %xmm0
movsd 0x23646(%rip), %xmm1    # 0xe5f78
callq 0x21300
xorps %xmm0, %xmm0
movsd 0x23646(%rip), %xmm1    # 0xe5f88
movsd 0x2364e(%rip), %xmm2    # 0xe5f98
callq 0x21e80
movsd 0x26c1(%rip), %xmm0     # 0xc5018
movaps %xmm0, %xmm1
movsd 0x2b6e(%rip), %xmm2     # 0xc54d0
callq 0x21e80
movsd 0x23639(%rip), %xmm2    # 0xe5fa8
xorps %xmm1, %xmm1
movsd 0x23616(%rip), %xmm0    # 0xe5f90
callq 0x21e80
xorps %xmm1, %xmm1
movsd 0x2360e(%rip), %xmm0    # 0xe5f98
movsd 0x23616(%rip), %xmm2    # 0xe5fa8
callq 0x21e80
movsd 0x2b31(%rip), %xmm0     # 0xc54d0
movsd 0x2671(%rip), %xmm1     # 0xc5018
movaps %xmm0, %xmm2
callq 0x21e80
callq 0x21c60
movl %ebx, %edi
callq 0x21190
movsd 0x235ed(%rip), %xmm1    # 0xe5fb0
xorps %xmm0, %xmm0
movsd 0x235b2(%rip), %xmm2    # 0xe5f80
callq 0x21300
xorps %xmm0, %xmm0
movsd 0x235ca(%rip), %xmm1    # 0xe5fa8
movsd 0x235aa(%rip), %xmm2    # 0xe5f90
callq 0x21e80
movsd 0x2625(%rip), %xmm0     # 0xc5018
movsd 0x2ad5(%rip), %xmm1     # 0xc54d0
movaps %xmm0, %xmm2
callq 0x21e80
xorps %xmm1, %xmm1
movsd 0x23582(%rip), %xmm0    # 0xe5f90
movsd 0x23572(%rip), %xmm2    # 0xe5f88
callq 0x21e80
xorps %xmm1, %xmm1
movsd 0x23572(%rip), %xmm0    # 0xe5f98
movsd 0x2355a(%rip), %xmm2    # 0xe5f88
callq 0x21e80
movsd 0x2a95(%rip), %xmm0     # 0xc54d0
movaps %xmm0, %xmm1
movsd 0x25d2(%rip), %xmm2     # 0xc5018
callq 0x21e80
callq 0x21c60
movl %ebx, %edi
callq 0x21190
xorps %xmm0, %xmm0
movsd 0x2354e(%rip), %xmm1    # 0xe5fb0
movsd 0x23536(%rip), %xmm2    # 0xe5fa0
callq 0x21300
xorps %xmm0, %xmm0
movsd 0x2352e(%rip), %xmm1    # 0xe5fa8
movsd 0x23516(%rip), %xmm2    # 0xe5f98
callq 0x21e80
movsd 0x2a41(%rip), %xmm0     # 0xc54d0
movaps %xmm0, %xmm1
movaps %xmm0, %xmm2
callq 0x21e80
xorps %xmm1, %xmm1
movsd 0x234f3(%rip), %xmm0    # 0xe5f98
movsd 0x234fb(%rip), %xmm2    # 0xe5fa8
callq 0x21e80
xorps %xmm1, %xmm1
movsd 0x234d3(%rip), %xmm0    # 0xe5f90
movsd 0x234e3(%rip), %xmm2    # 0xe5fa8
callq 0x21e80
movsd 0x2546(%rip), %xmm0     # 0xc5018
movsd 0x29f6(%rip), %xmm1     # 0xc54d0
movaps %xmm1, %xmm2
callq 0x21e80
callq 0x21c60
movl %ebx, %edi
callq 0x21190
xorps %xmm1, %xmm1
movsd 0x23487(%rip), %xmm0    # 0xe5f80
movsd 0x23477(%rip), %xmm2    # 0xe5f78
callq 0x21300
xorps %xmm1, %xmm1
movsd 0x2347f(%rip), %xmm0    # 0xe5f90
movsd 0x2346f(%rip), %xmm2    # 0xe5f88
callq 0x21e80
movsd 0x24f2(%rip), %xmm0     # 0xc5018
movsd 0x29a2(%rip), %xmm1     # 0xc54d0
movaps %xmm0, %xmm2
callq 0x21e80
xorps %xmm2, %xmm2
movsd 0x23447(%rip), %xmm0    # 0xe5f88
movsd 0x2344f(%rip), %xmm1    # 0xe5f98
callq 0x21e80
xorps %xmm2, %xmm2
movsd 0x2342f(%rip), %xmm0    # 0xe5f88
movsd 0x2342f(%rip), %xmm1    # 0xe5f90
callq 0x21e80
movsd 0x24aa(%rip), %xmm0     # 0xc5018
movaps %xmm0, %xmm1
movaps %xmm0, %xmm2
callq 0x21e80
callq 0x21c60
movl %ebx, %edi
callq 0x21190
xorps %xmm1, %xmm1
movsd 0x23410(%rip), %xmm0    # 0xe5fa0
movsd 0x233e0(%rip), %xmm2    # 0xe5f78
callq 0x21300
xorps %xmm1, %xmm1
movsd 0x233f0(%rip), %xmm0    # 0xe5f98
movsd 0x233d8(%rip), %xmm2    # 0xe5f88
callq 0x21e80
movsd 0x2913(%rip), %xmm0     # 0xc54d0
movsd 0x2453(%rip), %xmm1     # 0xc5018
movaps %xmm1, %xmm2
callq 0x21e80
xorps %xmm2, %xmm2
movsd 0x233d0(%rip), %xmm0    # 0xe5fa8
movsd 0x233b0(%rip), %xmm1    # 0xe5f90
callq 0x21e80
xorps %xmm2, %xmm2
movsd 0x233b8(%rip), %xmm0    # 0xe5fa8
movsd 0x233a0(%rip), %xmm1    # 0xe5f98
callq 0x21e80
movsd 0x28cb(%rip), %xmm0     # 0xc54d0
movaps %xmm0, %xmm1
movsd 0x2408(%rip), %xmm2     # 0xc5018
callq 0x21e80
callq 0x21c60
movl %ebx, %edi
callq 0x21190
xorps %xmm1, %xmm1
movsd 0x23354(%rip), %xmm0    # 0xe5f80
movsd 0x2337c(%rip), %xmm2    # 0xe5fb0
callq 0x21300
xorps %xmm1, %xmm1
movsd 0x2334c(%rip), %xmm0    # 0xe5f90
movsd 0x2335c(%rip), %xmm2    # 0xe5fa8
callq 0x21e80
movsd 0x23bf(%rip), %xmm0     # 0xc5018
movaps %xmm0, %xmm1
movsd 0x286c(%rip), %xmm2     # 0xc54d0
callq 0x21e80
xorps %xmm2, %xmm2
movsd 0x23314(%rip), %xmm0    # 0xe5f88
movsd 0x23314(%rip), %xmm1    # 0xe5f90
callq 0x21e80
xorps %xmm2, %xmm2
movsd 0x232fc(%rip), %xmm0    # 0xe5f88
movsd 0x23304(%rip), %xmm1    # 0xe5f98
callq 0x21e80
movsd 0x2377(%rip), %xmm0     # 0xc5018
movsd 0x2827(%rip), %xmm1     # 0xc54d0
movaps %xmm1, %xmm2
callq 0x21e80
callq 0x21c60
movl %ebx, %edi
callq 0x21190
xorps %xmm1, %xmm1
movsd 0x232d8(%rip), %xmm0    # 0xe5fa0
movsd 0x232e0(%rip), %xmm2    # 0xe5fb0
callq 0x21300
xorps %xmm1, %xmm1
movsd 0x232b8(%rip), %xmm0    # 0xe5f98
movsd 0x232c0(%rip), %xmm2    # 0xe5fa8
callq 0x21e80
movsd 0x27db(%rip), %xmm0     # 0xc54d0
movaps %xmm0, %xmm1
movaps %xmm0, %xmm2
callq 0x21e80
xorps %xmm2, %xmm2
movsd 0x2329d(%rip), %xmm0    # 0xe5fa8
movsd 0x23285(%rip), %xmm1    # 0xe5f98
callq 0x21e80
xorps %xmm2, %xmm2
movsd 0x23285(%rip), %xmm0    # 0xe5fa8
movsd 0x23265(%rip), %xmm1    # 0xe5f90
callq 0x21e80
movsd 0x2798(%rip), %xmm0     # 0xc54d0
movsd 0x22d8(%rip), %xmm1     # 0xc5018
movaps %xmm0, %xmm2
callq 0x21e80
callq 0x21c60
movl %ebx, %edi
callq 0x21190
xorps %xmm2, %xmm2
movsd 0x23219(%rip), %xmm0    # 0xe5f78
movsd 0x23219(%rip), %xmm1    # 0xe5f80
callq 0x21300
xorps %xmm2, %xmm2
movsd 0x23211(%rip), %xmm0    # 0xe5f88
movsd 0x23211(%rip), %xmm1    # 0xe5f90
callq 0x21e80
movsd 0x228c(%rip), %xmm0     # 0xc5018
movaps %xmm0, %xmm1
movsd 0x2739(%rip), %xmm2     # 0xc54d0
callq 0x21e80
xorps %xmm0, %xmm0
movsd 0x231e1(%rip), %xmm1    # 0xe5f88
movsd 0x231e9(%rip), %xmm2    # 0xe5f98
callq 0x21e80
xorps %xmm0, %xmm0
movsd 0x231c9(%rip), %xmm1    # 0xe5f88
movsd 0x231c9(%rip), %xmm2    # 0xe5f90
callq 0x21e80
movsd 0x2244(%rip), %xmm0     # 0xc5018
movaps %xmm0, %xmm1
movaps %xmm0, %xmm2
callq 0x21e80
callq 0x21c60
movl %ebx, %edi
callq 0x21190
xorps %xmm2, %xmm2
movsd 0x23182(%rip), %xmm0    # 0xe5f78
movsd 0x231a2(%rip), %xmm1    # 0xe5fa0
callq 0x21300
xorps %xmm2, %xmm2
movsd 0x2317a(%rip), %xmm0    # 0xe5f88
movsd 0x23182(%rip), %xmm1    # 0xe5f98
callq 0x21e80
movsd 0x21f5(%rip), %xmm0     # 0xc5018
movsd 0x26a5(%rip), %xmm1     # 0xc54d0
movaps %xmm0, %xmm2
callq 0x21e80
xorps %xmm0, %xmm0
movsd 0x2316a(%rip), %xmm1    # 0xe5fa8
movsd 0x2314a(%rip), %xmm2    # 0xe5f90
callq 0x21e80
xorps %xmm0, %xmm0
movsd 0x23152(%rip), %xmm1    # 0xe5fa8
movsd 0x2313a(%rip), %xmm2    # 0xe5f98
callq 0x21e80
movsd 0x21ad(%rip), %xmm0     # 0xc5018
movsd 0x265d(%rip), %xmm1     # 0xc54d0
movaps %xmm1, %xmm2
callq 0x21e80
callq 0x21c60
movl %ebx, %edi
callq 0x21190
xorps %xmm2, %xmm2
movsd 0x2311e(%rip), %xmm0    # 0xe5fb0
movsd 0x230e6(%rip), %xmm1    # 0xe5f80
callq 0x21300
xorps %xmm2, %xmm2
movsd 0x230fe(%rip), %xmm0    # 0xe5fa8
movsd 0x230de(%rip), %xmm1    # 0xe5f90
callq 0x21e80
movsd 0x2611(%rip), %xmm0     # 0xc54d0
movsd 0x2151(%rip), %xmm1     # 0xc5018
movaps %xmm1, %xmm2
callq 0x21e80
xorps %xmm0, %xmm0
movsd 0x230ae(%rip), %xmm1    # 0xe5f88
movsd 0x230ae(%rip), %xmm2    # 0xe5f90
callq 0x21e80
xorps %xmm0, %xmm0
movsd 0x23096(%rip), %xmm1    # 0xe5f88
movsd 0x2309e(%rip), %xmm2    # 0xe5f98
callq 0x21e80
movsd 0x25c9(%rip), %xmm0     # 0xc54d0
movsd 0x2109(%rip), %xmm1     # 0xc5018
movaps %xmm0, %xmm2
callq 0x21e80
callq 0x21c60
movl %ebx, %edi
callq 0x21190
xorps %xmm2, %xmm2
movsd 0x23082(%rip), %xmm0    # 0xe5fb0
movsd 0x2306a(%rip), %xmm1    # 0xe5fa0
callq 0x21300
xorps %xmm2, %xmm2
movsd 0x23062(%rip), %xmm0    # 0xe5fa8
movsd 0x2304a(%rip), %xmm1    # 0xe5f98
callq 0x21e80
movsd 0x2575(%rip), %xmm0     # 0xc54d0
movaps %xmm0, %xmm1
movaps %xmm0, %xmm2
callq 0x21e80
xorps %xmm0, %xmm0
movsd 0x23037(%rip), %xmm1    # 0xe5fa8
movsd 0x2301f(%rip), %xmm2    # 0xe5f98
callq 0x21e80
xorps %xmm0, %xmm0
movsd 0x2301f(%rip), %xmm1    # 0xe5fa8
movsd 0x22fff(%rip), %xmm2    # 0xe5f90
callq 0x21e80
movsd 0x2532(%rip), %xmm0     # 0xc54d0
movaps %xmm0, %xmm1
movsd 0x206f(%rip), %xmm2     # 0xc5018
callq 0x21e80
popq %rbx
jmp 0x21c60