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

  /* 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_LINE_LOOP ) ;
  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_LINE_LOOP ) ;
  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_LINE_LOOP ) ;
  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_LINE_LOOP ) ;
  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_LINE_LOOP ) ;
  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_LINE_LOOP ) ;
  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_LINE_LOOP ) ;
  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_LINE_LOOP ) ;
  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_LINE_LOOP ) ;
  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_LINE_LOOP ) ;
  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_LINE_LOOP ) ;
  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_LINE_LOOP ) ;
  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 0x710d6(%rip), %rax     # 0x1331e0
cmpb $0x0, 0x1c(%rax)
jne 0xc2125
leaq 0x1214f(%rip), %rdi     # 0xd4266
leaq 0x23b4a(%rip), %rsi     # 0xe5c68
xorl %eax, %eax
callq 0xbad73
pushq $0x2
popq %rbx
movl %ebx, %edi
callq 0x21190
movsd 0x23e41(%rip), %xmm1    # 0xe5f78
movsd 0x23e41(%rip), %xmm2    # 0xe5f80
xorps %xmm0, %xmm0
callq 0x21300
movsd 0x23e39(%rip), %xmm1    # 0xe5f88
movsd 0x23e39(%rip), %xmm2    # 0xe5f90
xorps %xmm0, %xmm0
callq 0x21e80
movsd 0x3369(%rip), %xmm0     # 0xc54d0
movsd 0x2ea9(%rip), %xmm1     # 0xc5018
movaps %xmm1, %xmm2
callq 0x21e80
movsd 0x23e19(%rip), %xmm0    # 0xe5f98
xorps %xmm1, %xmm1
movsd 0x23dfe(%rip), %xmm2    # 0xe5f88
callq 0x21e80
xorps %xmm1, %xmm1
movsd 0x23df6(%rip), %xmm0    # 0xe5f90
movsd 0x23de6(%rip), %xmm2    # 0xe5f88
callq 0x21e80
movsd 0x2e69(%rip), %xmm0     # 0xc5018
movaps %xmm0, %xmm1
movaps %xmm0, %xmm2
callq 0x21e80
callq 0x21c60
movl %ebx, %edi
callq 0x21190
movsd 0x23dd2(%rip), %xmm2    # 0xe5fa0
xorps %xmm0, %xmm0
movsd 0x23d9f(%rip), %xmm1    # 0xe5f78
callq 0x21300
xorps %xmm0, %xmm0
movsd 0x23d9f(%rip), %xmm1    # 0xe5f88
movsd 0x23da7(%rip), %xmm2    # 0xe5f98
callq 0x21e80
movsd 0x2e1a(%rip), %xmm0     # 0xc5018
movaps %xmm0, %xmm1
movsd 0x32c7(%rip), %xmm2     # 0xc54d0
callq 0x21e80
movsd 0x23d92(%rip), %xmm2    # 0xe5fa8
xorps %xmm1, %xmm1
movsd 0x23d6f(%rip), %xmm0    # 0xe5f90
callq 0x21e80
xorps %xmm1, %xmm1
movsd 0x23d67(%rip), %xmm0    # 0xe5f98
movsd 0x23d6f(%rip), %xmm2    # 0xe5fa8
callq 0x21e80
movsd 0x328a(%rip), %xmm0     # 0xc54d0
movsd 0x2dca(%rip), %xmm1     # 0xc5018
movaps %xmm0, %xmm2
callq 0x21e80
callq 0x21c60
movl %ebx, %edi
callq 0x21190
movsd 0x23d46(%rip), %xmm1    # 0xe5fb0
xorps %xmm0, %xmm0
movsd 0x23d0b(%rip), %xmm2    # 0xe5f80
callq 0x21300
xorps %xmm0, %xmm0
movsd 0x23d23(%rip), %xmm1    # 0xe5fa8
movsd 0x23d03(%rip), %xmm2    # 0xe5f90
callq 0x21e80
movsd 0x2d7e(%rip), %xmm0     # 0xc5018
movsd 0x322e(%rip), %xmm1     # 0xc54d0
movaps %xmm0, %xmm2
callq 0x21e80
xorps %xmm1, %xmm1
movsd 0x23cdb(%rip), %xmm0    # 0xe5f90
movsd 0x23ccb(%rip), %xmm2    # 0xe5f88
callq 0x21e80
xorps %xmm1, %xmm1
movsd 0x23ccb(%rip), %xmm0    # 0xe5f98
movsd 0x23cb3(%rip), %xmm2    # 0xe5f88
callq 0x21e80
movsd 0x31ee(%rip), %xmm0     # 0xc54d0
movaps %xmm0, %xmm1
movsd 0x2d2b(%rip), %xmm2     # 0xc5018
callq 0x21e80
callq 0x21c60
movl %ebx, %edi
callq 0x21190
xorps %xmm0, %xmm0
movsd 0x23ca7(%rip), %xmm1    # 0xe5fb0
movsd 0x23c8f(%rip), %xmm2    # 0xe5fa0
callq 0x21300
xorps %xmm0, %xmm0
movsd 0x23c87(%rip), %xmm1    # 0xe5fa8
movsd 0x23c6f(%rip), %xmm2    # 0xe5f98
callq 0x21e80
movsd 0x319a(%rip), %xmm0     # 0xc54d0
movaps %xmm0, %xmm1
movaps %xmm0, %xmm2
callq 0x21e80
xorps %xmm1, %xmm1
movsd 0x23c4c(%rip), %xmm0    # 0xe5f98
movsd 0x23c54(%rip), %xmm2    # 0xe5fa8
callq 0x21e80
xorps %xmm1, %xmm1
movsd 0x23c2c(%rip), %xmm0    # 0xe5f90
movsd 0x23c3c(%rip), %xmm2    # 0xe5fa8
callq 0x21e80
movsd 0x2c9f(%rip), %xmm0     # 0xc5018
movsd 0x314f(%rip), %xmm1     # 0xc54d0
movaps %xmm1, %xmm2
callq 0x21e80
callq 0x21c60
movl %ebx, %edi
callq 0x21190
xorps %xmm1, %xmm1
movsd 0x23be0(%rip), %xmm0    # 0xe5f80
movsd 0x23bd0(%rip), %xmm2    # 0xe5f78
callq 0x21300
xorps %xmm1, %xmm1
movsd 0x23bd8(%rip), %xmm0    # 0xe5f90
movsd 0x23bc8(%rip), %xmm2    # 0xe5f88
callq 0x21e80
movsd 0x2c4b(%rip), %xmm0     # 0xc5018
movsd 0x30fb(%rip), %xmm1     # 0xc54d0
movaps %xmm0, %xmm2
callq 0x21e80
xorps %xmm2, %xmm2
movsd 0x23ba0(%rip), %xmm0    # 0xe5f88
movsd 0x23ba8(%rip), %xmm1    # 0xe5f98
callq 0x21e80
xorps %xmm2, %xmm2
movsd 0x23b88(%rip), %xmm0    # 0xe5f88
movsd 0x23b88(%rip), %xmm1    # 0xe5f90
callq 0x21e80
movsd 0x2c03(%rip), %xmm0     # 0xc5018
movaps %xmm0, %xmm1
movaps %xmm0, %xmm2
callq 0x21e80
callq 0x21c60
movl %ebx, %edi
callq 0x21190
xorps %xmm1, %xmm1
movsd 0x23b69(%rip), %xmm0    # 0xe5fa0
movsd 0x23b39(%rip), %xmm2    # 0xe5f78
callq 0x21300
xorps %xmm1, %xmm1
movsd 0x23b49(%rip), %xmm0    # 0xe5f98
movsd 0x23b31(%rip), %xmm2    # 0xe5f88
callq 0x21e80
movsd 0x306c(%rip), %xmm0     # 0xc54d0
movsd 0x2bac(%rip), %xmm1     # 0xc5018
movaps %xmm1, %xmm2
callq 0x21e80
xorps %xmm2, %xmm2
movsd 0x23b29(%rip), %xmm0    # 0xe5fa8
movsd 0x23b09(%rip), %xmm1    # 0xe5f90
callq 0x21e80
xorps %xmm2, %xmm2
movsd 0x23b11(%rip), %xmm0    # 0xe5fa8
movsd 0x23af9(%rip), %xmm1    # 0xe5f98
callq 0x21e80
movsd 0x3024(%rip), %xmm0     # 0xc54d0
movaps %xmm0, %xmm1
movsd 0x2b61(%rip), %xmm2     # 0xc5018
callq 0x21e80
callq 0x21c60
movl %ebx, %edi
callq 0x21190
xorps %xmm1, %xmm1
movsd 0x23aad(%rip), %xmm0    # 0xe5f80
movsd 0x23ad5(%rip), %xmm2    # 0xe5fb0
callq 0x21300
xorps %xmm1, %xmm1
movsd 0x23aa5(%rip), %xmm0    # 0xe5f90
movsd 0x23ab5(%rip), %xmm2    # 0xe5fa8
callq 0x21e80
movsd 0x2b18(%rip), %xmm0     # 0xc5018
movaps %xmm0, %xmm1
movsd 0x2fc5(%rip), %xmm2     # 0xc54d0
callq 0x21e80
xorps %xmm2, %xmm2
movsd 0x23a6d(%rip), %xmm0    # 0xe5f88
movsd 0x23a6d(%rip), %xmm1    # 0xe5f90
callq 0x21e80
xorps %xmm2, %xmm2
movsd 0x23a55(%rip), %xmm0    # 0xe5f88
movsd 0x23a5d(%rip), %xmm1    # 0xe5f98
callq 0x21e80
movsd 0x2ad0(%rip), %xmm0     # 0xc5018
movsd 0x2f80(%rip), %xmm1     # 0xc54d0
movaps %xmm1, %xmm2
callq 0x21e80
callq 0x21c60
movl %ebx, %edi
callq 0x21190
xorps %xmm1, %xmm1
movsd 0x23a31(%rip), %xmm0    # 0xe5fa0
movsd 0x23a39(%rip), %xmm2    # 0xe5fb0
callq 0x21300
xorps %xmm1, %xmm1
movsd 0x23a11(%rip), %xmm0    # 0xe5f98
movsd 0x23a19(%rip), %xmm2    # 0xe5fa8
callq 0x21e80
movsd 0x2f34(%rip), %xmm0     # 0xc54d0
movaps %xmm0, %xmm1
movaps %xmm0, %xmm2
callq 0x21e80
xorps %xmm2, %xmm2
movsd 0x239f6(%rip), %xmm0    # 0xe5fa8
movsd 0x239de(%rip), %xmm1    # 0xe5f98
callq 0x21e80
xorps %xmm2, %xmm2
movsd 0x239de(%rip), %xmm0    # 0xe5fa8
movsd 0x239be(%rip), %xmm1    # 0xe5f90
callq 0x21e80
movsd 0x2ef1(%rip), %xmm0     # 0xc54d0
movsd 0x2a31(%rip), %xmm1     # 0xc5018
movaps %xmm0, %xmm2
callq 0x21e80
callq 0x21c60
movl %ebx, %edi
callq 0x21190
xorps %xmm2, %xmm2
movsd 0x23972(%rip), %xmm0    # 0xe5f78
movsd 0x23972(%rip), %xmm1    # 0xe5f80
callq 0x21300
xorps %xmm2, %xmm2
movsd 0x2396a(%rip), %xmm0    # 0xe5f88
movsd 0x2396a(%rip), %xmm1    # 0xe5f90
callq 0x21e80
movsd 0x29e5(%rip), %xmm0     # 0xc5018
movaps %xmm0, %xmm1
movsd 0x2e92(%rip), %xmm2     # 0xc54d0
callq 0x21e80
xorps %xmm0, %xmm0
movsd 0x2393a(%rip), %xmm1    # 0xe5f88
movsd 0x23942(%rip), %xmm2    # 0xe5f98
callq 0x21e80
xorps %xmm0, %xmm0
movsd 0x23922(%rip), %xmm1    # 0xe5f88
movsd 0x23922(%rip), %xmm2    # 0xe5f90
callq 0x21e80
movsd 0x299d(%rip), %xmm0     # 0xc5018
movaps %xmm0, %xmm1
movaps %xmm0, %xmm2
callq 0x21e80
callq 0x21c60
movl %ebx, %edi
callq 0x21190
xorps %xmm2, %xmm2
movsd 0x238db(%rip), %xmm0    # 0xe5f78
movsd 0x238fb(%rip), %xmm1    # 0xe5fa0
callq 0x21300
xorps %xmm2, %xmm2
movsd 0x238d3(%rip), %xmm0    # 0xe5f88
movsd 0x238db(%rip), %xmm1    # 0xe5f98
callq 0x21e80
movsd 0x294e(%rip), %xmm0     # 0xc5018
movsd 0x2dfe(%rip), %xmm1     # 0xc54d0
movaps %xmm0, %xmm2
callq 0x21e80
xorps %xmm0, %xmm0
movsd 0x238c3(%rip), %xmm1    # 0xe5fa8
movsd 0x238a3(%rip), %xmm2    # 0xe5f90
callq 0x21e80
xorps %xmm0, %xmm0
movsd 0x238ab(%rip), %xmm1    # 0xe5fa8
movsd 0x23893(%rip), %xmm2    # 0xe5f98
callq 0x21e80
movsd 0x2906(%rip), %xmm0     # 0xc5018
movsd 0x2db6(%rip), %xmm1     # 0xc54d0
movaps %xmm1, %xmm2
callq 0x21e80
callq 0x21c60
movl %ebx, %edi
callq 0x21190
xorps %xmm2, %xmm2
movsd 0x23877(%rip), %xmm0    # 0xe5fb0
movsd 0x2383f(%rip), %xmm1    # 0xe5f80
callq 0x21300
xorps %xmm2, %xmm2
movsd 0x23857(%rip), %xmm0    # 0xe5fa8
movsd 0x23837(%rip), %xmm1    # 0xe5f90
callq 0x21e80
movsd 0x2d6a(%rip), %xmm0     # 0xc54d0
movsd 0x28aa(%rip), %xmm1     # 0xc5018
movaps %xmm1, %xmm2
callq 0x21e80
xorps %xmm0, %xmm0
movsd 0x23807(%rip), %xmm1    # 0xe5f88
movsd 0x23807(%rip), %xmm2    # 0xe5f90
callq 0x21e80
xorps %xmm0, %xmm0
movsd 0x237ef(%rip), %xmm1    # 0xe5f88
movsd 0x237f7(%rip), %xmm2    # 0xe5f98
callq 0x21e80
movsd 0x2d22(%rip), %xmm0     # 0xc54d0
movsd 0x2862(%rip), %xmm1     # 0xc5018
movaps %xmm0, %xmm2
callq 0x21e80
callq 0x21c60
movl %ebx, %edi
callq 0x21190
xorps %xmm2, %xmm2
movsd 0x237db(%rip), %xmm0    # 0xe5fb0
movsd 0x237c3(%rip), %xmm1    # 0xe5fa0
callq 0x21300
xorps %xmm2, %xmm2
movsd 0x237bb(%rip), %xmm0    # 0xe5fa8
movsd 0x237a3(%rip), %xmm1    # 0xe5f98
callq 0x21e80
movsd 0x2cce(%rip), %xmm0     # 0xc54d0
movaps %xmm0, %xmm1
movaps %xmm0, %xmm2
callq 0x21e80
xorps %xmm0, %xmm0
movsd 0x23790(%rip), %xmm1    # 0xe5fa8
movsd 0x23778(%rip), %xmm2    # 0xe5f98
callq 0x21e80
xorps %xmm0, %xmm0
movsd 0x23778(%rip), %xmm1    # 0xe5fa8
movsd 0x23758(%rip), %xmm2    # 0xe5f90
callq 0x21e80
movsd 0x2c8b(%rip), %xmm0     # 0xc54d0
movaps %xmm0, %xmm1
movsd 0x27c8(%rip), %xmm2     # 0xc5018
callq 0x21e80
popq %rbx
jmp 0x21c60