1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
#pragma safety enable void * malloc(int i); void free( void * p); struct X { char * name; }; int main() { struct X * p = malloc(sizeof * p); free(p); }