00001 00003 // vim:set tabstop=4 cindent tw=80: 00004 00005 // Author: Geert-Jan Giezeman <geert@cs.uu.nl> 00006 // Copyright: Utrecht University, 2011 00007