postnotnull.c:20:2: Only storage a.x (type char *) derived from variable
declared in this scope is not released (memory leak)
postnotnull.c:20:2: Only storage a.x (type char *) derived from variable
declared in this scope is not released (memory leak)