structure DrawMsg =
struct datatype t = DRAW_TEXT of Real32.real vector | YANK of string end