The source code of start.pl :