Should `:6543` be hardcoded?