shape_class List cl {
	next_field {n}
	default {
		abs_pointers {a@main; p@main; tmp@main; t@main;}
		abs_labelled_predicates x {(x->h) == 1; (x->h) == 2; (x->h) == 3;}
	}
}