CRB_print_wcs     200 CRB_dev.h      int CRB_print_wcs(FILE *fp, CRB_Char *str);
CRB_print_wcs     405 heap.c         	CRB_print_wcs(stderr, str);
CRB_print_wcs      60 native.c           CRB_print_wcs(stdout, str);
CRB_print_wcs     218 native.c           CRB_print_wcs(fp, CRB_object_get_string(args[0].u.object));
CRB_print_wcs     176 wchar.c            result = CRB_print_wcs(fp, str);