#include <gtk/gtk.h>
#include <stdio.h>

void initdevice( int* core, int* stylus, int* eraser, 
                 char* corepointername, char* stylusname, char* erasername );