int pg_valid_server_encoding_id( int encoding, ) { return _pg_valid_server_encoding_id( encoding, ); }