RK compilations - compilation sex