addrspace.h revision a0ab3668
1