6 only abst abst_create (dependent abst p, only char *x, int i)
9 only char *abst_name (abst a) { }
10 int abst_val (abst a) { }
11 int *abst_aval (abst a) { }
12 only abst abst_parent (only abst a) { }
13 dependent char *immut_name (immut im) { }
14 void abst_setIm (abst a, immut im) { }
15 immut abst_getIm (abst a) { }