Importing addrs before and after scan/build both work!