//#Safe
/*
 * Date: October 2013
 * Author: Christian Schilling and heizmann@informatik.uni-freiburg.de
 * 
 */

#include <stdlib.h>

typedef struct {
	int num;
	int denom;
} fraction;

int main() {
	fraction* p = malloc(sizeof(fraction));
	int a;
	a = p->num;
	int b;
	b = (*p).num;
	//@ assert a == b;
	free(p);
}