Added addrspace.h header