public static String GprIndexToRegisterName(int RegisterIndex) { return String.Format("r{0}", RegisterIndex); }