Notes on our implementation of R*