[gambit-list] printf and the C interface