Are we sure that the list returned by gdb.inferiors() always returns at least one element?