mutable type abst1;
mutable type abst2;
mutable type abst3;