void alter(configuration *); int valid_serial_number(char *); void create_certificate(char *); int check_certificate(char);