vos print_addr() must call ubik_VL_GetAddrsU with correct level of indirection