Questions by Tom Tromey

Questions by Tom Tromey