extern int loadwebidl(char *filename);