Added examples from WASDeTT 2013