private static int readInt(final XppReader reader, final String name, final Integer fallback) throws PyDebuggerException {
    final String value = read(reader, name, fallback == null);
    if (value == null) {
      return fallback;
    }
    try {
      return Integer.parseInt(value);
    }
    catch (NumberFormatException e) {
      throw new PyDebuggerException("Unable to decode " + value + ": " + e.getMessage());
    }
  }
private static int readInt(final XppReader reader, final String name, final Integer fallback)