public static VM_Type getTypeFromId(int id) {
public static VM_Type getTypeFromId(int id) throws VM_PragmaUninterruptible {
  public static VM_Type getTypeFromId(int id) {    return VM_TypeDictionary.getValue(id);  }