mutable type abst1;
mutable type abst2;