addrspace.h revision 2f47f447
1