Further work on address_space_tool.