mouse_copy_word  2278 dev/wscons/wsdisplay.c 			mouse_copy_word();
mouse_copy_word    61 dev/wscons/wsmoused.h void mouse_copy_word(void);