What does this `/*r*/` mean?