13/5/2014: instl 0.9.9