Yes, it compiles in to the solver and then can use its own source as the initial state. The guy who writes these (this is one of his many entries to IOCCC) is a genius!