source code (as submitted, before revision)