Jasmin implementation added. (Authors edited).