Change SSA_INT_TYPE to unsigned 64 bit integer