--- a/cinst/main.c	Tue Mar 18 14:14:15 2014 +0000
+++ b/cinst/main.c	Tue Mar 18 14:23:30 2014 +0000
@@ -88,21 +88,26 @@
 
     return 0;
 }
-
+/*
 int validate_instructions(const char *certificate_list,
-                          const size_t listLen,
+                          const size_t list_len,
                           const char **to_install,
                           const char **to_remove)
 {
-    /* TODO */
+     TODO 
+    (void *) certificate_list;
+    (void **) to_install;
+    (void **) to_remove;
+    (void) list_len;
+
     return 0;
 }
-
+*/
 int main() {
     char **to_install = NULL;
     char **to_remove = NULL;
     char *certificate_list = NULL;
-    size_t listLen = 0;
+    size_t list_len = 0;
     int ret = -1;
 
     ret = readInput(&certificate_list, &to_install, &to_remove);
@@ -115,9 +120,9 @@
         return ERR_INVALID_INPUT_NO_LIST;
     }
 
-    listLen = strnlen(certificate_list, MAX_INPUT_SIZE);
+    list_len = strnlen(certificate_list, MAX_INPUT_SIZE);
 
-    ret = verify_list(certificate_list, listLen);
+    ret = verify_list(certificate_list, list_len);
 
     if (ret != 0) {
         return ERR_INVALID_SIGNATURE;
@@ -127,13 +132,14 @@
         return ERR_NO_INSTRUCTIONS;
     }
 
-    /* Check that the instructions are ok to execute */
-    ret = validate_instructions(certificate_list, to_install, to_remove);
+    /* Check that the instructions are ok to execute 
+    ret = validate_instructions(certificate_list, list_len, to_install,
+                                to_remove);
 
     if (ret != 0) {
         return ERR_INVALID_INSTRUCTIONS;
     }
-
+    */
     /* Make valgrind happy */
     strfreev (to_install);
     strfreev (to_remove);