/* 42 */
  /*moveto*/ 0,0, 
  /*lineto*/ 0,18, 
  /*lineto*/ 9,18, 
  /*lineto*/ 12,15, 
  /*lineto*/ 12,12, 
  /*lineto*/ 9,9, 
  /*lineto*/ 0,9, 
  /*moveto*/ 9,9, 
  /*lineto*/ 12,6, 
  /*lineto*/ 12,3, 
  /*lineto*/ 9,0, 
  /*lineto*/ 0,0,