You're running a pool of servers where the servers are numbered sequentially starting from 1. Over time, any given server might explode, in which case its server number is made available for reuse. When a new server is launched, it should be given the lowest available number.
Write a function which, given the list of currently allocated server numbers, returns the number of the next server to allocate.