data-structure-inferrer-1.0: Il/tests/ins_max.il

int main()
{
	ds d
	int i

	for(i = 0; i < 20; i++)
	{
		insert(d, i)
	}

	max(d)
}