[gambit-list] port fun