Principal #Public Fun Compilation