vec64
