Initially and at 910 annotations can be added in the source code to indicate what the source code is to do when it runs.
And at 920 the program verifier can read the source code from the garbage collector.