added demo of Vernam