Work out some bugs and provide example of pass + gv generation