JanosVM Documentation License
Copyright (c) 2000-2003 The University of Utah and the Flux Group.
All rights reserved.
Permission to use, copy, modify, distribute, and sell this
documentation for any purpose is hereby granted without fee,
provided that the above copyright notice(s) appear in all copies.