3     , ( Circle { shapeStyle = ShapeStyle
 		
		
   5                                                , styleStrokeColour = RGB 255 255 255
 		
   6                                                , styleFill = RGB 255 255 255
 		
		
		
		
  10       , Just [("interface", DoublePoint 0.0 0.25)]
 		
		
		
  13     , ( Composite { shapeSegments =
 		
  14                     [ Circle { shapeStyle = ShapeStyle
 		
  15                                                { styleStrokeWidth = 2
 		
  16                                                , styleStrokeColour = RGB 250 0 0
 		
  17                                                , styleFill = RGB 255 255 255
 		
		
		
		
  21                     , Lines { shapeStyle = ShapeStyle
 		
  22                                                { styleStrokeWidth = 2
 		
  23                                                , styleStrokeColour = RGB 250 0 0
 		
  24                                                , styleFill = RGB 128 128 128
 		
		
  26                             , shapePerimeter = [ DoublePoint (-0.25) 0.25
 		
  27                                                , DoublePoint 0.0     (-0.35)
 		
  28                                                , DoublePoint 0.25    0.25    ] }
 		
  29                     , Lines { shapeStyle = ShapeStyle
 		
  30                                                { styleStrokeWidth = 2
 		
  31                                                , styleStrokeColour = RGB 250 0 0
 		
  32                                                , styleFill = RGB 128 128 128
 		
		
  34                             , shapePerimeter = [ DoublePoint (-0.20) 0.10
 		
  35                                                , DoublePoint 0.20    0.10    ] }
 		
		
  37       , Just [("down" , DoublePoint 0.0    0.5)
 		
  38              ,("left" , DoublePoint (-0.5) 0.0)
 		
  39              ,("right", DoublePoint 0.5    0.0)]
 		
		
		
  42     , ( Composite { shapeSegments =
 		
  43                     [ Circle { shapeStyle = ShapeStyle
 		
  44                                                { styleStrokeWidth = 2
 		
  45                                                , styleStrokeColour = RGB 250 0 0
 		
  46                                                , styleFill = RGB 255 255 255
 		
		
		
		
  50                     , Lines { shapeStyle = ShapeStyle
 		
  51                                                { styleStrokeWidth = 2
 		
  52                                                , styleStrokeColour = RGB 250 0 0
 		
  53                                                , styleFill = RGB 128 128 128
 		
		
  55                             , shapePerimeter = [ DoublePoint (-0.25) (-0.25)
 		
  56                                                , DoublePoint   0.25  (-0.25)
 		
  57                                                , DoublePoint (-0.25) 0.25
 		
  58                                                , DoublePoint 0.25    0.25    ] }
 		
  59                     , Lines { shapeStyle = ShapeStyle
 		
  60                                                { styleStrokeWidth = 2
 		
  61                                                , styleStrokeColour = RGB 250 0 0
 		
  62                                                , styleFill = RGB 128 128 128
 		
		
  64                             , shapePerimeter = [ DoublePoint (-0.15) 0.0
 		
  65                                                , DoublePoint 0.15    0.0    ] }
 		
		
  67       , Just [("up" , DoublePoint 0.0    (-0.5))]
 		
		
		
  70     , ( Composite { shapeSegments =
 		
  71                     [ Circle { shapeStyle = ShapeStyle
 		
  72                                                { styleStrokeWidth = 2
 		
  73                                                , styleStrokeColour = RGB 250 0 0
 		
  74                                                , styleFill = RGB 255 255 255
 		
		
		
		
  78                     , Lines { shapeStyle = ShapeStyle
 		
  79                                                { styleStrokeWidth = 2
 		
  80                                                , styleStrokeColour = RGB 250 0 0
 		
  81                                                , styleFill = RGB 128 128 128
 		
		
  83                             , shapePerimeter = [ DoublePoint   0.25  (-0.25)
 		
  84                                                , DoublePoint (-0.25) (-0.25)
 		
  85                                                , DoublePoint (-0.25) 0.0
 		
  86                                                , DoublePoint 0.25    0.0
 		
  87                                                , DoublePoint 0.25    0.25    
 		
  88                                                , DoublePoint (-0.25) 0.25
 		
		
		
  91       , Just [ ("up"   , DoublePoint 0.0    (-0.5) )
 		
  92              , ("down" , DoublePoint 0.0    0.5) ]