Read program from file
Add gcipd and fib examples
Annotate memo edges