Overwritten: {p->x, p->y, p->z}
Overwritten: {p->x, p->z}
Overwritten: {p->x, p->z}
Overwritten: {p->q}
Overwritten: {}
Normal states
Failure states
{Unsafe read at line 3}
{Pointer escape at line 5}
{Unsafe read at line 7}
{Unsafe read at line 3, Pointer escape at line 5}
{Unsafe read at line 3, Pointer escape at line 5, Unsafe read at line 7}