mouse_paste      2295 dev/wscons/wsdisplay.c 			mouse_paste();
mouse_paste        72 dev/wscons/wsmoused.h void mouse_paste(void);