[gambit-list] profiling code being interpreted by gsi