data-structure-inferrer-1.0: C/tests/rec_ins_upd_max.c

struct keyval {
	int key;
	int val;
};

int main()
{
	ds d1;

	struct keyval rec, rec2;
	rec.key = 5;
       	rec.val = 1337;

	rec2.key = 10;
       	rec2.val = 1337;

	for(int i = 0; i < 20; i++)
	{
		insert(d1, rec);
		update(d1, rec, rec2);
	}

	printf("%d\n", max(d1));
}