extern void licence_control(); main(argc,argv) int argc; char *argv[]; { licence_control(); }