sim-main.h: track SKY register number changes from gdb