Add a vector to keep track of which registers are allocatable. Remove FIXMEs