> Anton, will there be one for the SAFECode project as well? Nobody asked for this, but sure, it's possible :) -- With best regards, Anton Korobeynikov Faculty of Mathematics and Mechanics, Saint Petersburg State University