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