Demo of Prototyping langauge Snark