final fixes for available_regs