// thread_num and cpu_id are deterministic from the config
     SERIALIZE_SCALAR(func_exe_inst);
 
+#ifdef FULL_SYSTEM
     bool ctx = false;
     if (swCtx) {
         ctx = true;
         string bin_name = cur->name();
         SERIALIZE_SCALAR(bin_name);
     }
+#endif //FULL_SYSTEM
 }
 
 
     // thread_num and cpu_id are deterministic from the config
     UNSERIALIZE_SCALAR(func_exe_inst);
 
+#ifdef FULL_SYSTEM
     bool ctx;
     UNSERIALIZE_SCALAR(ctx);
     if (ctx) {
         UNSERIALIZE_SCALAR(bin_name);
         system->getBin(bin_name)->activate();
     }
+#endif //FULL_SYSTEM
 }