writing the source in src/