/* * Determine the maximum length of the options to be inserted; * we would far rather allocate too much space rather than too little. */