Source for the RARE runtime