/* * This program takes two files of numerically sorted labels, * and merges them to the standard output. * The lines should be of the form