[gambit-list] forcing output-port-width