64 /* code implementing this operation */