@NotNull
  public static ContractReturnValue valueOf(int ordinal) {
    return switch (ordinal) {
      case 0, 1 -> returnNull();
      case 2 -> returnNotNull();
      case 3 -> returnTrue();
      case 4 -> returnFalse();
      case 5 -> fail();
      case 6 -> returnNew();
      case 7 -> returnThis();
      default -> {
        if (ordinal >= PARAMETER_ORDINAL_BASE && ordinal <= PARAMETER_ORDINAL_BASE + MAX_SUPPORTED_PARAMETER) {
          yield returnParameter(ordinal - PARAMETER_ORDINAL_BASE);
        }
        yield returnAny();
      }
    };
  }
@NotNull
  public static ContractReturnValue valueOf(int ordinal)