presto-atop/src/main/java/io/prestosql/plugin/atop/AtopErrorCode.java/AtopErrorCode/AtopErrorCode
class AtopErrorCode:    AtopErrorCode(int code, ErrorType type)
    {
        errorCode = new ErrorCode(code + 0x0500_0000, name(), type);
    }