R# 7 compilation, renames