structure Whip =
struct
  type box = {x: int, y: int}
  val size = 16
  val sizeReal: Real32.real = 16.0

  (* right frames *)
  val rf1 =
   #[ {x = 64, y = ~15}
    , {x = 64, y = 2}
    , {x = 64, y = 18}
    , {x = 49, y = 25}
    ]

  val rf2 =
   #[ {x = 67, y = ~15}
    , {x = 66, y = 2}
    , {x = 64, y = 18}
    , {x = 49, y = 25}
    ]

  val rf3 =
   #[ {x = 73, y = ~15}
    , {x = 70, y = 2}
    , {x = 64, y = 18}
    , {x = 49, y = 25}
    ]

  val rf4 =
   #[ {x = 83, y = ~15}
    , {x = 75, y = 2}
    , {x = 64, y = 18}
    , {x = 49, y = 25}
    ]

  val rf5 =
   #[ {x = 87, y = ~5}
    , {x = 79, y = 6}
    , {x = 64, y = 18}
    , {x = 49, y = 25}
    ]

  val rf6 =
   #[ {x = 96, y = 10}
    , {x = 80, y = 15}
    , {x = 64, y = 20}
    , {x = 49, y = 25}
    ]

  val rf7 =
   #[ {x = 112, y = 25}
    , {x = 96, y = 28}
    , {x = 80, y = 25}
    , {x = 64, y = 22}
    , {x = 49, y = 25}
    ]

  val rf8 =
   #[ {x = 112, y = 25}
    , {x = 96, y = 28}
    , {x = 80, y = 25}
    , {x = 64, y = 25}
    , {x = 49, y = 25}
    ]

  val rf9 =
   #[ {x = 96, y = 31}
    , {x = 80, y = 29}
    , {x = 64, y = 27}
    , {x = 49, y = 25}
    ]

  val rf10 =
   #[ {x = 80, y = 33}
    , {x = 64, y = 29}
    , {x = 49, y = 25}
    ]

  val rf11 =
   #[ {x = 64, y = 31}
    , {x = 49, y = 25}
    ]

  val rf12 =
   #[ {x = 49, y = 25} ]

  val rightFrames = #[ 
      rf1, rf2, rf3, rf4, rf5, rf6, rf7, rf8, rf9, rf10, rf11, rf12
    ]

  (* left frames *)
  val lf1 =
   #[ {x = ~15, y = ~15}
    , {x = ~15, y = 2}
    , {x = ~15, y = 18}
    , {x = 0, y = 25}
    ]

  val lf2 =
   #[ {x = ~18, y = ~15}
    , {x = ~17, y = 2}
    , {x = ~15, y = 18}
    , {x = 0, y = 25}
    ]

  val lf3 =
   #[ {x = ~42, y = ~15}
    , {x = ~21, y = 2}
    , {x = ~15, y = 18}
    , {x = 0, y = 25}
    ]

  val lf4 =
   #[ {x = ~34, y = ~15}
    , {x = ~26, y = 2}
    , {x = ~15, y = 18}
    , {x = 0, y = 25}
    ]

  val lf5 =
   #[ {x = ~38, y = ~5}
    , {x = ~30, y = 6}
    , {x = ~15, y = 18}
    , {x = 0, y = 25}
    ]

  val lf6 =
   #[ {x = ~47, y = 10}
    , {x = ~31, y = 15}
    , {x = ~15, y = 20}
    , {x = 0, y = 25}
    ]

  val lf7 =
   #[ {x = ~63, y = 25}
    , {x = ~47, y = 28}
    , {x = ~31, y = 25}
    , {x = ~15, y = 22}
    , {x = 0, y = 25}
    ]

  val lf8 =
   #[ {x = ~63, y = 25}
    , {x = ~47, y = 28}
    , {x = ~31, y = 25}
    , {x = ~15, y = 25}
    , {x = 0, y = 25}
    ]

  val lf9 =
   #[ {x = ~47, y = 31}
    , {x = ~31, y = 29}
    , {x = ~15, y = 27}
    , {x = 0, y = 25}
    ]

  val lf10 =
   #[ {x = ~31, y = 33}
    , {x = ~15, y = 29}
    , {x = 0, y = 25}
    ]

  val lf11 =
   #[ {x = ~15, y = 31}
    , {x = 0, y = 25}
    ]

  val lf12 =
   #[ {x = 0, y = 25} ]

  val leftFrames = #[ 
      lf1, lf2, lf3, lf4, lf5, lf6, lf7, lf8, lf9, lf10, lf11, lf12
    ]
end