Ramsay compilation