struct Species_rep {
    /*@only@*/ char *name;
    /*@only@*/ char *genome;
};

typedef /*@abstract@*/ struct Species_rep *Species;