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