Initial source code (unmodified)