fixed example 1; fixed bug in katnetic/virtual; fixed bug in virtual compiler