const char *g_gpgpusim_version_string = "GPGPU-Sim Simulator Version 3.2.0 ";
const char *g_gpgpusim_build_string   =  "$Change$";