/* bb */
  /*moveto*/ 3,9, 
  /*lineto*/ 9,9, 
  /*moveto*/ 12,17, 
  /*lineto*/ 8,18, 
  /*lineto*/ 6,15, 
  /*lineto*/ 6,2, 
  /*lineto*/ 3,0, 
  /*lineto*/ 0,0, 
  /*lineto*/ 0,2, 
  /*lineto*/ 3,2, 
  /*lineto*/ 6,0, 
  /*lineto*/ 9,0, 
  /*lineto*/ 12,2,