port 2 R^r 16sk.