external convert_dash : float -> float array -> Gpointer.boxed
  = "ml_gnome_canvas_convert_dash"