Files used in demos during my presentation at DOAG2014