1 typedef /*@abstract@*/ /*@mutable@*/ int *tam
;
2 typedef /*@abstract@*/ /*@immutable@*/ int *tai
;
3 typedef /*@abstract@*/ /*@immutable@*/ int *tmixm
; /* 1. inconsistently declared as immutable */
4 typedef /*@abstract@*/ /*@immutable@*/ int *tmixa
; /* 2. inconsistently declared as abstract type */
5 typedef /*@abstract@*/ /*@mutable@*/ int *tmixi
; /* 3. inconsistently declared as mutable */
6 typedef /*@mutable@*/ int *tm
;
7 typedef /*@immutable@*/ int *ti
;
