addrspace_init() correctly initializes the used VAD too