change sa_index_t to be a uint32_t
use vm_state_version_t typedef instead of uint64_t directly