Incomplete type information
void* return1st(void* x,void* y) {
return x; }
return x; }
(a refb, b) ®f a refb
•The type variable a indicates
that the type of the contents
of the pointer x is unconstrained
–But it must be the same as the type of the contents of pointer y
•Increases the set of queries that Lackwit can answer with precision