The elephant schemer source code