short_name[] is intentionally not copied, because there is
no reason to give a new variable with potentially a new name
the same short name. */
short_name[] is intentionally not copied, because there is
no reason to give a new variable with potentially a new name
the same short name. */