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

#include <stdlib.h>

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

typedef struct {
      int color;
      fraction* frac;
} colorWithPointerToFraction;


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