Gio.InetSocketAddress.prototype.get_port

function get_port(): Number(guint16) {
    // Gjs wrapper for g_inet_socket_address_get_port()
}