[see http://www.cs.uu.nl/people/hanwen/lily-devel/index.html]