rewrite xfree to reaching definition problem