See src/README.