skeleton of NakedPointer function body traversal
skeleton of NakedPointer function body traversal

TODO: bringing variables into scope is pretty horrible.  Also need to
check the expression types at various points.

lambdageek/use-c,lambdageek/use-c