diff --git a/src/userprog/process.c b/src/userprog/process.c
index d51339a4aff8ec7aae340ae87035ef64358853fd..975278d1969214de140e79df099d75838a72807e 100644
--- a/src/userprog/process.c
+++ b/src/userprog/process.c
@@ -41,6 +41,20 @@ process_execute (const char *file_name)
   /* Create a new thread to execute FILE_NAME. */
   tid = thread_create (file_name, PRI_DEFAULT, start_process, fn_copy);
 
+  // tokenisation code 
+    char *file_name_extracted; /* this to get echo, exit, halt... commands as file name alone */
+    char *args1;
+    char *args2;
+    char *args3;
+
+    char *token;
+    char *saveptr;
+
+    token = strtok_r(user_str, " ", &saveptr);
+
+
+
+
   if (tid == TID_ERROR)
     palloc_free_page (fn_copy); 
   return tid;