public Value mysql_field_len(Env env, @NotNull MysqliResult result, int fieldOffset)
public static Value mysql_field_len(Env env, @NotNull MysqliResult result, int fieldOffset)
  public Value mysql_field_len(Env env,                               @NotNull MysqliResult result,                               int fieldOffset)  {    if (result == null)      return BooleanValue.FALSE;    // ERRATUM: Returns 10 for datatypes DEC and NUMERIC instead of 11    return result.fetch_field_length(env, fieldOffset);  }