typedef /*@abstract@*/ char *mstring;