190191192193194195196
register(new LazyHead()); register(new LazyTail()); // OS and process interface register(new net.sf.kpex.builtins.System()); register(new Ctime()); }