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

typedef  int dstype;
#include "../../dsimp/ds.h"
int main()
{
	ds d1;
	ds d2;
	delete_max_d(d1);
	printf("%d\n", max_d(d2));
}