typedef int mint;
mutable type cint;