Jasmin Examples