fix get32(), get64()