More ATAGS/allocation work