The files under the defs/ directory are written specifically for this project.