The source code of the Elements mod.